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.