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

Question

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

Comments

http://tablica-istinnosti.ru/ru/ и не благодари )

Answer 1

1
A | B | ¬A∨B∨¬B∨A
T | T | T
T | F | T
 F | T | T
 F | F | T
2
A | B | (¬A∨B)∧(¬B∨A)
T | T | T
 T | F | F
 F | T | F
F | 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 | F
4.
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