truth table (p or (q and r))