Составить таблицу истиности.
(A->B)v(B->A)
(A->B)/\(B->A)
((A->B)->C)
(A<->(BvC))/\ A