Disjunction in terms of NAND

Theorem

 * $p \lor q \dashv \vdash \left({p \uparrow p}\right) \uparrow \left({q \uparrow q}\right)$

where $\lor$ denotes logical disjunction and $\uparrow$ denotes logical NAND.