Logical Equivalence Involving Tautology
Example: Show that r ∧ t ≡ r
Truth Table for r ∧ t
|r ||t||r ∧ t
|T ||T ||T
|F ||T ||F
Exercise 1: Tautology
Use truth table to show that ( p ∧ q ) ∨ (~p ∨ ( p ∧ ~q )) is a tautology.
Exercise 2: Contradiction
Use truth table to show that (p ∧ ~ q) ∧ (~p ∨ q) is a contradiction.
For more details, please contact me here.
Date of last modification: February 27, 2019