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