Wahrheitstafel & Logik-Evaluator — DNF/CNF-Vereinfachung

Boole’sche Ausdrücke parsen, Wahrheitstafel, kanonische DNF/CNF und Vereinfachung anzeigen – mit CSV/URL und Rechenschritten für Unterricht & Selbststudium.

Eingaben

Anzeigeoptionen

Zusammenfassung

Berechnungsschritte

    Kanonische Formen / Vereinfachung

    Related calculators

    FAQ

    Welche Operatoren kann ich verwenden?

    Negation: ! oder ~, Konjunktion: & oder ∧, XOR: ^, Disjunktion: | oder ∨, Implikation: ->, Äquivalenz: , Konstanten: 0,1,T,F.

    Wann verwende ich Karnaugh vs. Quine–McCluskey?

    Bis vier Variablen gruppieren wir wie im Karnaugh-Diagramm; bei fünf oder sechs wechseln wir zu Quine–McCluskey mit Petrick; darüber fällt das Tool auf die kanonische DNF zurück.