truth table ((p OR (NOT(q))) IMPLIES (q AND r))