truth table [p and not r] or [q and not r] or [not q and r]