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

Да, формулы равносильны. Обе формулы выражают импликацию "A или B влечет A или B".