Logichard
0:00.0

The Sheffer stroke (NAND, denoted by |) is a functionally complete operator. What is the minimum number of occurrences of the Sheffer stroke operator | required to write an expression logically equivalent to the disjunction PQP \lor Q using only PP, QQ, and |?