Eine Digitalschaltung realisiert die formale Logik auf technische Weise. Logische Verknüpfungen werden in diesem Fall durch elektrische Schaltungen in die Praxis umgesetzt.

Am bekanntesten sind die Verknüpfungen UND, ODER und NEGATION. Damit lässt sich jede beliebige Logik aufbauen. In der Praxis kommt man auch mit einer einzigen Verknüpfung aus: NAND, das ist eine UND-Verknüpfung mit negiertem (oder invertiertem) Ausgang. Geeignet wäre auch die Alternative NOR, eine ODER-Vernüpfung mit invertiertem Ausgang.

Natürlich lassen sich aus NAND-Schaltkreisen auch elektrische Speicher zusammenbasteln. Wir brauchen dafür zwei rückgekoppelte NAND-Schaltkreise.