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