Properties of NAND

Theorem
Let $\uparrow$ signify the NAND operation.

The following results hold: