Wahrheitstabelle

Eine Wahrheitstabelle erzeugen

Eine Wahrheitstabelle listet jede mögliche Eingangskombination zusammen mit den Ausgängen auf, die die Schaltung liefert. Sie ist der direkteste Weg zur Frage „tut diese Schaltung, was ich denke“ — kein Nachdenken über Gatterreihenfolge, kein Verfolgen von Leitungen, sondern das vollständige Verhalten Zeile für Zeile.

Boolflow erstellt die Tabelle durch vollständige Aufzählung. Es sucht alle INPUT-Elemente der aktiven Ebene, zählt alle 2^N Kombinationen auf, simuliert die Schaltung je Kombination einmal und hält fest, worauf sich jeder OUTPUT einstellt. Weil erschöpfend und nicht stichprobenartig geprüft wird, ist eine korrekte Tabelle ein Beweis: Es bleibt keine ungeprüfte Eingangsbelegung übrig.

• Ein- und Ausgänge tragen die im Editor vergebenen Namen — die Tabelle liest sich wie Dokumentation.
• Ein „?“ in einer Zelle bedeutet, dass sich der Ausgang nicht eingestellt hat: meist ein offener Eingang oder eine kombinatorische Schleife.
• Der CSV-Export erlaubt den Vergleich zweier Entwurfsstände oder die Übernahme in einen Bericht.

Die Tabelle ist auf zehn Eingänge begrenzt. Das ist nicht willkürlich: Zehn Eingänge bedeuten bereits 1024 Zeilen, jeder weitere verdoppelt die Zahl. Darüber hinaus sind gezielte Testfälle nützlicher als eine erschöpfende Tabelle.