# 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 |

### 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.

Date of last modification: February 27, 2019