Examine whether the following statement pattern is a tautology, a contradiction or a contingency. q ∨ [~ (p ∧ q)]

EXERCISE 1.6Q 2.1   PAGE 16
Exercise 1.6 | Q 2.1 | Page 16

Examine whether the following statement pattern is a tautology, a contradiction or a contingency.

q ∨ [~ (p ∧ q)]


SOLUTION

pqp ∧ q~ (p ∧ q)q ∨ [~ (p ∧ q)]
TTTFT
TFFTT
FTFTT
FFFTT

All the truth values in the last column are T. Hence, it is a tautology.