\uparrow to NAND, czyli negacja koniunkcji. p \uparrow q \equiv \neg (p \wedge q)
Z zadania 80. wiemy, że \{\Rightarrow, \bot\} jest zupełny. Wystarczy więc wyrazić te dwa spójniki za pomocą \uparrow.
p \Rightarrow q \equiv p \uparrow (q \uparrow q)
\bot \equiv p \wedge \neg p \equiv (p \uparrow (p \uparrow p)) \uparrow (p \uparrow (p \uparrow p))
(\uparrow to może być rownież NOR)