Dlaczego tak
NAND to zanegowany iloczyn: iloczyn A·B jest równy 1 tylko dla obu jedynek, więc po zanegowaniu wyjście jest zerem wyłącznie w tym przypadku, a w pozostałych trzech — jedynką. Warunek „przynajmniej jedno wejście wysokie” opisuje, kiedy jedynkę daje bramka OR. Bramka NAND jest uniwersalna: z samych bramek NAND można zbudować każdą funkcję logiczną.