NAND is Commutative

Theorem
Let $\uparrow$ signify the NAND operation.

Then, for any two propositions $p$ and $q$:
 * $p \uparrow q \dashv \vdash q \uparrow p$

That is, NAND is commutative.