truth table ( not p and not q) or (p and not r) or q or r