Prepare truth tables for the following statement pattern.
(p ∧ r) → (p ∨ ~ q)
SOLUTION
(p ∧ r) → (p ∨ ~ q)
| p | q | r | ~q | p ∧ r | p∨~q | (p ∧ r) → (p ∨ ~ q) |
| T | T | T | F | T | T | T |
| T | T | F | F | F | T | T |
| T | F | T | T | T | T | T |
| T | F | F | T | F | T | T |
| F | T | T | F | F | F | T |
| F | T | F | F | F | F | T |
| F | F | T | T | F | T | T |
| F | F | F | T | F | T | T |
