Uttrykk følgende ved å bruke kun NAND-operasjoner (representert som ¬(P ∧ Q)):

A ∨ B

NAND er funksjonelt fullstendig, noe som betyr at enhver boolsk funksjon kan uttrykkes ved å bruke kun NAND.