test (P Q) R FALSE

(PQ)R
P
inference logicR
Public: Yes; Show truth table: No;