Prove that (p ∨ q) ∧ (~p ∧~q) is a contradiction.
(p ∨ q) ∧ (~p ∧~q)
From last column we conclude that it is a contradiction
