Question

Using truth tables examine whether the following statement patterns are tautology, contradiction or contingency.

i. (p \(\land\) ~ q) \(\leftrightarrow\) (p \(\rightarrow\)q)

ii. (~p \(\land\) q) \(\land\) (q \(\rightarrow\) p)

iii. (p \(\land\) q) \(\lor\) (p \(\land\)r)

iv. [(p \(\lor\) q) \(\lor\) r] \(\leftrightarrow\) [p \(\lor\) (q \(\lor\) r)]

v. (p \(\lor\) q)\(\land\) (p \(\lor\) r)

Answer 1

In the above truth table, all the entries in the last column are F.