truth table (p and q) or (p and m)