====== Logika - Zadanie 86. ======

$\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)