Logichard
0:00.0

Express PlorQP \\lor Q using only the NAND operator (denoted as uparrow\\uparrow).