Professional Documents
Culture Documents
1. ~b (a b)
a b avb b
b -> (a v b)
T T F T F
T F T T T
F T F T F
F F T F T
F-T-F-T
2. (p q) q
p q pvq (p v q) -> q
T T T T
T F T F
F T T T
F F F F
T-F-T-F
3. ~p (q p)
p q qvp ~p (q p)
p
T T F T T
T F F T F
F T T T T
F F T F T
T-F-T-T
4. (~a c) b
a b c avb (~a c) b
T T T T T
T T F F F
T F T F F
T F F F F
F T T T T
F T F F T
F F T F T
F F F F T
T-F-F-F-T-T-T-T