Differentiate between a tautology and a contradiction.

Using the truth table verify the expression

(~P ⇒ Q) ^ P = (P ^ ~Q) v (P ^ Q)

Define the term Contingency, Contradiction and Tautology.

Verify P . (~P + Q') = (P ⇒ Q)' using truth table.