Example
Show that r ∧ t ≡ r| r | t | r ∧ t |
| T | T | T |
| F | T | F |
Exercises
Exercise 1: TautologyUse truth table to show that ( p ∧ q ) ∨ (~p ∨ ( p ∧ ~q )) is a tautology.
Solution:
Exercise 2: Contradiction
Use truth table to show that (p ∧ ~ q) ∧ (~p ∨ q) is a contradiction.
Solution:
