truth table p and not q