Uttryck följande med endast NAND-operationer (representerade som ¬(P ∧ Q)):

A ∨ B

NAND är funktionellt fullständigt, vilket betyder att vilken boolesk funktion som helst kan uttryckas med endast NAND.