Udtryk følgende ved kun at bruge NAND operationer (repræsenteret som ¬(P ∧ Q)):

A ∨ B

NAND er funktionelt fuldstændig, hvilket betyder at enhver boolsk funktion kan udtrykkes ved kun at bruge NAND.