Wahrheitstabelle erzeugen
- Ausdruck mit Variablen oder 0/1 eingeben.
- NOT, AND, XOR, OR, -> und <-> oder Symbole nutzen.
- Erzeugen; Variablen folgen dem ersten Auftreten.
- Tabelle prüfen und tabulatorgetrennt kopieren.
Parser und Vorrang
Der Ausdruck wird direkt geparst und nie mit eval oder Function ausgeführt. Vorrang: NOT, AND, XOR, OR, Implikation, Äquivalenz.
n Variablen ergeben 2ⁿ, höchstens 64 Zeilen. Implikation ist nur wahr -> falsch falsch; Äquivalenz verlangt gleiche Werte.
Geprüfte Ausdrücke
A -> B ergibt 1,1,0,1; A XOR B ergibt 0,1,1,0.
A OR NOT A ist Tautologie; A AND NOT A Kontradiktion.
Syntax und Grenzen
- Namen beginnen mit ASCII-Buchstaben und beachten Großschreibung.
- Token-, Operanden-, Operator-, Klammer- und Variablenfehler werden gemeldet.
- Keine Vereinfachung, Beweise, Schaltungen, KV-Diagramme oder Codeausführung.
Häufige Fragen
Warum sechs Variablen?
Jede verdoppelt die Zeilen; sechs ergeben 64.
Was bindet am stärksten?
NOT, AND, XOR, OR, Implikation, Äquivalenz.
Welche Reihenfolge?
Erstes Auftreten, falsch vor wahr.
Was bedeuten die Klassen?
Immer wahr, immer falsch oder gemischt.