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

Формулы равносильны, так как они выражают одно и то же логическое утверждение.