truth table p and q or not p