Boolescher-Ausdruck-Löser

Nützlicher Hardware-Trick: Wähle die Eingabevariable, die TRUE/FALSE-Verhalten am besten trennt, implementiere dann jeden Zweig separat und multiplexe über diese Eingabe. Genau das berechnet die Informationsgewinn-Aufteilung unten: Sie findet die Variable, deren Wert die Unsicherheit über den Ausgang am stärksten reduziert — dieselbe Idee, mit der Entscheidungsbäume ihre erste Aufteilung wählen.

Eine Wahrheitstabelle ist einfach eine vollständige Auflistung: Sie schreibt jede mögliche Kombination von WAHR/FALSCH-Eingaben auf und zeigt, was der Ausdruck jeweils tut. Bei n Variablen gibt es 2ⁿ Zeilen, jede neue Eingabe verdoppelt also die Tabelle — 3 Variablen ergeben 8 Zeilen, 5 ergeben 32. Auch die Zwischenspalten zählen: Sie bauen jeden Teilausdruck Schritt für Schritt auf, sodass du der Logik Operator für Operator folgen kannst, statt dem Endergebnis blind zu vertrauen.

Hier kommt die Überraschung: Die Tabelle für 5 Variablen hat nur 32 Zeilen, doch die Zahl der verschiedenen Ausdrücke, die man über ihnen definieren kann, beträgt 2³² = 4,294,967,296. Jede unterschiedliche Art, die Ergebnisspalte mit 0 und 1 zu füllen, ist eine eigene Boolesche Funktion, und insgesamt gibt es 2^(2ⁿ) davon. Dieses schlichte Werkzeug durchstreift also lautlos einen Raum von über vier Milliarden möglichen Logikschaltungen — eine für jedes Muster, das die letzte Spalte annehmen kann.