Exp 1
Exp 1
Exp 1
p q r ¬q (¬q ∨ r) p → (¬q ∨ r)
T T T F T T
T T F F F F
T F T T T T
T F F T T T
F T T F T T
F T F F F T
F F T T T T
F F F T T T
B
p q r ¬p (q → r) ¬p → (q → r)
T T T F T T
T T F F F T
T F T F T T
T F F F T T
F T T T T T
F T F T F F
F F T T T T
F F F T T T
C
p q r ¬p (p → q) (¬p → r) (p → q) ∨ (¬p → r)
T T T F T T T
T T F F T T T
T F T F F T T
T F F F F T T
F T T T T T T
F T F T T F T
F F T T T T T
F F F T T F T
D
p q r ¬p (p → q) (¬p → r) (p → q) ∧ (¬p → r)
T T T F T T T
T T F F T T T
T F T F F T F
T F F F F T F
F T T T T T T
F T F T T F F
F F T T T T T
F F F T T F F
E
p q r ¬q (p → q) (¬q → r) (p → q) ∧ (¬q → r)
T T T F T T T
T T F F T T T
T F T T F T F
T F F T F F F
F T T F T T T
F T F F T T T
F F T T T T T
F F F T T F F
F
p q r ¬p ¬q (¬p ↔¬q) (q → r) (¬p ↔¬q) ↔ (q ↔ r)
T T T F F T T T
T T F F F T F F
T F T F T F T F
T F F F T F T F
F T T T F F T F
F T F T F F F T
F F T T T T T T
F F F T T T T T