Wahrheitstabellen für Logikgatter: Ihr unverzichtbarer Leitfaden

Kurz gesagt: Eine Wahrheitstabelle führt jede mögliche Eingangskombination und den zugehörigen Ausgangswert eines Logikgatters auf. Diese Referenz behandelt die sieben Standardgatter – UND, ODER, NICHT, NAND, NOR, XOR und XNOR – anhand boolescher Ausdrücke und Tabellen. Ein ausgearbeitetes Beispiel zeigt, wie vier NAND-Gatter das Verhalten eines XOR-Gatters nachbilden.

Eine Wahrheitstabelle ist die endgültige Spezifikation eines Logikgatters. Sie zählt jedes mögliche Eingangsszenario und die einzelne, deterministische Ausgabe auf, die das Gatter erzeugt. Wahrheitstabellen lesen und schreiben zu können, ist eine Grundfertigkeit des digitalen Entwurfs – dieselbe Notation begegnet später in Karnaugh-Diagrammen, bei Ableitungen der Summe von Produkten und bei der Schaltungsverifikation.

Die Grundgatter: Die Bausteine der Berechnung

Die grundlegenden Gatter UND, ODER und NICHT bilden eine funktional vollständige Menge: Jede endliche boolesche Funktion lässt sich durch Kombinationen dieser drei Gatter darstellen.

NICHT-Gatter (der Inverter)

Das NICHT-Gatter ist das einfachste von allen. Es hat einen einzelnen Eingang und einen einzelnen Ausgang. Seine Aufgabe ist es, das Eingangssignal zu invertieren. Gibt man ihm eine 1, liefert es eine 0. Gibt man ihm eine 0, liefert es eine 1. Es ist die logische Verkörperung des Gegenteils.

Boolescher Ausdruck: $Y = \overline{A}$

UND-Gatter

Das UND-Gatter verknüpft Bedingungen. Es gibt nur dann 1 aus, wenn alle Eingänge 1 sind. Erfordert eine Zutrittsprüfung sowohl einen gültigen Ausweis als auch eine Eintrittsberechtigung, lautet die Bedingung beispielsweise Ausweis = 1 UND Eintrittskarte = 1. Jede andere Eingangskombination ergibt 0.

Boolescher Ausdruck: $Y = A \cdot B$

ODER-Gatter

Das ODER-Gatter verknüpft Alternativen. Es gibt 1 aus, wenn mindestens einer seiner Eingänge 1 ist. Ist der Zutritt entweder mit einer Eintrittskarte ODER mit einer Einladung gestattet, muss mindestens eine der beiden Bedingungen wahr sein (= 1).

Boolescher Ausdruck: $Y = A + B$

Die überraschende Stärke universeller Gatter

UND, ODER und NICHT sind nicht zwingend als drei getrennte Gattertypen erforderlich. Jede boolesche Funktion lässt sich allein mit NAND-Gattern oder allein mit NOR-Gattern aufbauen. Diese Eigenschaft heißt funktionale Vollständigkeit; sie gilt sowohl für NAND als auch für NOR.

Warum ist das wichtig? In der Fertigung ist Einheitlichkeit entscheidend. Millionen von Transistoren zu fertigen, um nur einen Gatertyp wie NAND zu erzeugen, ist wesentlich effizienter und kostengünstiger als mehrere unterschiedliche Typen herzustellen. Darin liegt eines der Geheimnisse der Ökonomie von Siliziumchips.

NAND-Gatter (NICHT-UND)

Das NAND-Gatter ist ein UND-Gatter, gefolgt von einem NICHT-Gatter. Es erzeugt genau die entgegengesetzte Ausgabe eines UND-Gatters. Es gibt eine 0 nur dann aus, wenn alle seine Eingänge 1 sind.

Boolescher Ausdruck: $Y = \overline{A \cdot B}$

NOR-Gatter (NICHT-ODER)

Ebenso ist das NOR-Gatter ein ODER-Gatter, gefolgt von einem NICHT-Gatter. Es gibt eine 1 nur dann aus, wenn alle seine Eingänge 0 sind.

Boolescher Ausdruck: $Y = \overline{A + B}$

Um ihre Universalität zu beweisen, können Sie die drei Grundgatter ausschließlich mit NAND-Gattern aufbauen:

• NICHT-Gatter: Verbinden Sie die Eingänge eines NAND-Gatters miteinander. Ein Eingang A liegt dann an beiden Eingängen an, sodass der Ausgang $\overline{A \cdot A} = \overline{A}$ ist.
• UND-Gatter: Führen Sie den Ausgang eines NAND-Gatters durch ein als NICHT-Gatter konfiguriertes NAND-Gatter. Der Ausgang ist $\overline{\overline{A \cdot B}} = A \cdot B$.
• ODER-Gatter: Invertieren Sie beide Eingänge A und B mit als NICHT-Gatter verwendeten NAND-Gattern und führen Sie sie einem dritten NAND-Gatter zu. Nach den De-Morgan-Gesetzen ist der Ausgang $\overline{\overline{A} \cdot \overline{B}} = A + B$.

Die exklusiven Gatter: Differenzdetektoren

Diese Gatter behandeln eine besondere Art von Logik, die davon abhängt, ob die Eingänge gleich oder verschieden sind.

XOR-Gatter (Exklusiv-ODER)

Das XOR-Gatter ist das Gatter für „entweder das eine oder das andere, aber nicht beides“. Es gibt nur dann eine 1 aus, wenn seine Eingänge verschieden sind. Dieses Verhalten ist für Arithmetik und Fehlererkennung ausgesprochen nützlich.

Boolescher Ausdruck: $Y = A \oplus B = \overline{A}B + A\overline{B}$

XNOR-Gatter (Exklusiv-NOR)

Das XNOR-Gatter ist die logische Umkehrung von XOR. Es ist ein Gleichheitsdetektor und gibt nur dann eine 1 aus, wenn seine Eingänge gleich sind.

Boolescher Ausdruck: $Y = \overline{A \oplus B} = AB + \overline{A}\overline{B}$

Simulation auf digisim.io

Eine Schaltung aufzubauen macht eine Wahrheitstabelle greifbar. Um die Universalität des NAND-Gatters zu demonstrieren, bauen Sie ein XOR-Gatter aus vier NAND-Gattern.

1. Öffnen Sie den Arbeitsbereich: Navigieren Sie zum Simulator von digisim.io. Sie sehen eine leere Arbeitsfläche.
2. Platzieren Sie die Komponenten:

• Ziehen Sie zwei Eingangsschalter auf die Arbeitsfläche. Beschriften Sie sie mit „A“ und „B“.
• Ziehen Sie vier NAND-Gatter mit 2 Eingängen auf die Arbeitsfläche.
• Ziehen Sie eine Ausgabe-LED auf die Arbeitsfläche. Beschriften Sie sie mit „Y“.

3. Verdrahten Sie die Schaltung:

• Verbinden Sie Eingang A mit dem ersten Eingang von NAND-Gatter Nr. 1 und dem ersten Eingang von NAND-Gatter Nr. 2.
• Verbinden Sie Eingang B mit dem zweiten Eingang von NAND-Gatter Nr. 1 und dem ersten Eingang von NAND-Gatter Nr. 3.
• Verbinden Sie den Ausgang von NAND-Gatter Nr. 1 mit dem zweiten Eingang sowohl von NAND-Gatter Nr. 2 als auch von NAND-Gatter Nr. 3.
• Verbinden Sie den Ausgang von NAND-Gatter Nr. 2 mit dem ersten Eingang von NAND-Gatter Nr. 4.
• Verbinden Sie den Ausgang von NAND-Gatter Nr. 3 mit dem zweiten Eingang von NAND-Gatter Nr. 4.
• Verbinden Sie schließlich den Ausgang von NAND-Gatter Nr. 4 mit der Ausgabe-LED „Y“.

4. Testen Sie die Wahrheitstabelle: Schalten Sie nun die Eingänge A und B um und beobachten Sie die LED.

• A=0, B=0: Die LED ist AUS (0).
• A=0, B=1: Die LED ist EIN (1).
• A=1, B=0: Die LED ist EIN (1).
• A=1, B=1: Die LED ist AUS (0).

Sie haben gerade die Wahrheitstabelle eines XOR-Gatters ausschließlich mit NAND-Gattern experimentell überprüft. Damit haben Sie das Prinzip der Universalität auf praktische, interaktive Weise bewiesen.

Praxisanwendungen

Diese abstrakten Gatter sind die Arbeitstiere in den Geräten, die Sie täglich verwenden.

1. XOR bei der RAM-Paritätsprüfung: Der Speicher Ihres Computers (DRAM) ist nicht perfekt; durch Strahlung oder elektrisches Rauschen können Bits gelegentlich kippen. Um das zu erkennen, verwenden viele Systeme ein Paritätsbit. Zu jeweils 8 Datenbits wird ein neuntes Bit gespeichert. Dieses Bit wird berechnet, indem die 8 Datenbits per XOR verknüpft werden. Ist eine ungerade Anzahl von Bits 1, ist das XOR-Ergebnis – das Paritätsbit – 1. Ist die Anzahl gerade, ist es 0. Beim erneuten Lesen der Daten wird die Berechnung wiederholt. Stimmt das neue Ergebnis nicht mit dem gespeicherten Paritätsbit überein, weiß das System, dass ein Fehler aufgetreten ist.
2. UND in arithmetisch-logischen Einheiten (ALUs) von CPUs: Die ALU ist das mathematische Gehirn einer CPU. Wenn Sie in einer Programmiersprache eine bitweise AND-Operation ausführen, leitet die CPU diese Bits direkt zu einer Bank von UND-Gattern innerhalb der ALU weiter. Das ist auch für das „Maskieren“ grundlegend, eine Technik zum Isolieren bestimmter Bits in einem Byte. Um beispielsweise zu prüfen, ob das vierte Bit eines Bytes D gesetzt ist, könnte ein Programmierer D AND 00001000 berechnen. Ist das Ergebnis nicht null, war das Bit gesetzt. Dieser einfache Test, der Milliarden Mal pro Sekunde ausgeführt wird, beruht unmittelbar auf der Wahrheitstabelle des UND-Gatters.

Wahrheitstabellen sind mehr als eine Referenz zum Auswendiglernen. Sie sind ein Entwurfswerkzeug, eine Hilfe bei der Fehlersuche und die endgültige Spezifikation für die Bausteine unserer digitalen Welt.

Fahren Sie mit Digitale Logik 101 fort, um jedes dieser Gatter selbst zu verdrahten, oder springen Sie zu den Grundlagen der booleschen Algebra, um die Gleichungen hinter den Tabellen zu bearbeiten.