Logical Equivalence Involving Tautology: Exerccises
Example
Show that r ∧ t ≡ r
Truth Table for r ∧ t
r |
t |
r ∧ t |
T |
T |
T |
F |
T |
F |
Exercises
Exercise 1: Tautology
Use 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:

For more details, please contact me here.