test (P Q) R FALSE

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