pernyataan (~p v q) ^ (p v ~q) ekuivalen dengan pernyataan ...

=[(~p v q)^p] v [(~p v q)^(~q)]
=[(~p ^ p) v (q^p] v [(~p ^ ~q) v (q^~q)]
=[F v (q^p)] v [~(p v q) v F)]
=(q^p) v (~p^~q)
=(q^p) v ~(p v q)
=(p^q) v ~(p v q)