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