NAND ist eine Verknüpfung (Boolesche Logik), die nur dann das Ergebnis FALSCH liefert, wenn beide Eingabewerte WAHR sind und das Ergebnis WAHR liefert, wenn mindestens einer der Eingabewerte FALSCH (eine Null, FALSE) ist.  Das besondere an NAND-Gattern (Sheffer-Funktion) ist, dass man damit alle logischen Verknüpfungen erzeugen kann.  Dies spielt eine grosse Rolle in der Digitaltechnik. NAND-Gatter sind die Standardbausteine in der Digitaltechnik, da man mit ihrer Hilfe komplexere  Schaltungen verwirklichen kann. Bei Integrated Circuits (ICs, integrierte Schaltungen) wird dies auch eingesetzt. Folgende Verknüpfungen kann man beispielsweise ausschliesslich mit NAND-Gattern herstellen: 
NOT X entspricht X NAND X
X AND Y entspricht (X NAND Y) NAND (X NAND Y) 
X OR Y entspricht (X NAND X) NAND ( Y NAND Y)
X NOR Y entspricht ((X NAND X) NAND (Y NAND Y)) NAND ((X NAND X) NAND (Y NAND Y))
X XOR Y entspricht (X NAND ( Y NAND Y))  NAND ((X NAND X) NAND Y)
X XNOR Y entspricht (X NAND Y) NAND ((X NANDX) NAND (Y NAND Y)).                                             

In der digitalen Steuerungstechnik werden einzelne Steuersignale am Eingang durch logische Verknüpfungen zu einem Ausgangssignal verarbeitet. Dabei gibt es in dieser Schaltalgebra nur zweiwertige Binärsignale  mit den Logikzuständen 1 oder 0 bzw. mit dem Pegel High (Spannung eingeschaltet) oder Low (Spannung aus). Bei der Verknüpfung der Signale gelten Rechenregeln, die in der Mathematik durch die sogenannte Boolesche Logik  (auch Boolesche Algebra) festgelegt sind. Jede beliebige logische Verknüpfung lässt sich auf die Kombination von 3 einfachen Grundfunktionen zurückführen: UND (Konjunktion) ODER (Disjunktion) und NICHT (Negation).  In der Praxis werden mit den universellen Bausteinen NAND-Gatter (Sheffer-Funktion) und NOR-Gatter (Peirce-Funktion) alle logischen Verknüpfungen ersetzt.