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