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
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