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

1A | B | ¬A∨B∨¬B∨A T | T | TT | F | T F | T | T F | F | T2A | B | (¬A∨B)∧(¬B∨A) T | T | T T | F | F F | T | FF | F | T3.A | B | C | ¬(¬A∨B)∨C T | T | T | T T | T | F | F T | F | T | T T | F | F | T F | T | T | T F | T | F | F F | F | T | T F | F | F | F4.A | B | C | ((A∧(B∨C))∨(¬A∧¬(B∨C)))∧A T | T | T | T T | T | F | T T | F | T | T T | F | F | F F | T | T | F F | T | F | F F | F | T | F F | F | F | F