"Проверьте равносильны ли формулы\n—— - - ——\nАvB=>(AvB) и АvB"

Да, проверьте, равносильны ли формулы:

1. (А ∨ В) ⇒ (А ∨ В)
2. А ∨ В

Если вы сравните эти две формулы, вы увидите, что они эквивалентны и имеют одинаковое логическое значение.