Logikgatter

Die hervorgehobene Zeile liegt gerade an; ein Klick auf ihre Nummer stellt die Eingänge so ein.

Aus dem Aufbau abgelesen

$\displaystyle C = A \cdot B$

Vom Ausgang rückwärts durch jedes Gatter bis zu den Eingängen.

Disjunktive Normalform (DNF)

$\displaystyle C = A \cdot B$

Je Zeile mit C = 1 ein UND-Term, alle mit ODER verbunden: eine Zeile von 4.

Minimale DNF

$\displaystyle C = A \cdot B$

So wenige UND-Terme wie möglich, und darin so wenige Eingänge wie möglich.

Konjunktive Normalform (KNF)

$\displaystyle C = (A + B) \cdot (A + \overline{B}) \cdot (\overline{A} + B)$

Je Zeile mit C = 0 eine ODER-Klausel, alle mit UND verbunden: 3 Zeilen von 4.

Minimale KNF

$\displaystyle C = A \cdot B$

So wenige ODER-Klauseln wie möglich.

Felder mit 1: 3. Die Nummer eines Feldes ist die Zeile der Wahrheitstabelle.

Noch nichts aufgezeichnet: einen Eingang umschalten oder einen Takt geben.

Einschwingen nach der letzten Änderung

Jedes Gatter braucht einen Zeitschritt, bis es auf seine Eingänge reagiert. Bis alles zur Ruhe kam, verging 1 Schritt.

Kein Ausgang hat dabei kurz einen falschen Wert gezeigt.