Eine Schaltung, die eine Steuer- oder Verarbeitungsfunktion in einem Computer ausführt, wird als logische Schaltung bezeichnet. Logische Schaltungen verwenden zwei Werte für eine gegebene physikalische Größe, um die booleschen Werte falsch oder wahr und falsch bzw. 0 und 1 zu bezeichnen. Logische Schaltungen haben Eingänge und Ausgänge, die von den Eingängen abhängen können oder nicht. Beim Zeichnen von Diagrammen logischer Schaltungen wird die Verbindung zwischen dem Ausgang einer Schaltung und dem Eingang der zweiten Schaltung als Pfeilspitze am Eingangsende dargestellt.
Logikschaltungen ähneln in ihrer Leistungsfähigkeit den Funktionen einer Programmiersprache. Eine logische Schaltung kann mehrere Ausgänge haben. Die Eingänge sind vergleichbar mit Funktionsparametern. Die Ausgänge ähneln den Rückgabewerten einer Funktion. Die beiden Arten von Logikschaltungen sind: Zustandsschaltungen und kombinatorische Schaltungen. Zustandsschaltungen, bei denen die Ausgabe nicht nur auf der Eingabe, sondern auch auf den historischen Eingaben basiert, werden durch den in die Schaltung eingebetteten Speicher ermöglicht. Bei kombinatorischen Schaltungen basiert die Ausgabe auf den aktuellen Werten der Eingabe.