truth table (p <-> (not q and not r)) and (q <-> (not p and not r)) and (r <-> (not p and not q))