Aşağıdaki ifadeyi yalnızca NAND işlemleri kullanarak ifade edin (¬(P ∧ Q) olarak gösterilir):

A ∨ B

NAND fonksiyonel olarak tamdır, yani herhangi bir boolean fonksiyonu yalnızca NAND kullanarak ifade edilebilir.