Wahrheitstabelle zu Ausdruck Generator
Klicken Sie die Ausgabespalte in die Form, die Sie brauchen, und das Werkzeug liest die Formel daraus ab: die kanonische DNF (Summe der Produkte), die kanonische KNF (Produkt der Summen) und die kürzeste äquivalente Form. Alles läuft in Ihrem Browser, und die Tabelle, die Sie bauen, steckt im Link.
| p | q | Ausgabe |
|---|---|---|
| ⊥ | ⊥ | |
| ⊤ | ⊥ | |
| ⊥ | ⊤ | |
| ⊤ | ⊤ |
Klicken Sie auf die Ausgabewerte, um zwischen wahr (⊤) und falsch (⊥) zu wechseln
Generierter Ausdruck
Wie man eine Wahrheitstabelle in einen booleschen Ausdruck umwandelt
Jede Wahrheitstabelle ist die Wahrheitstabelle irgendeiner Formel, und zwei dieser Formeln lassen sich direkt daraus ablesen - ohne Algebra und ohne Raten:
- Schreiben Sie alle 2ⁿ Zeilen für Ihre n Variablen auf und markieren Sie die, in denen die Ausgabe ⊤ ist.
- Schreiben Sie für jede ⊤-Zeile einen Minterm: alle Variablen konjunktiv verknüpft, negiert dort, wo die Zeile sie falsch macht. Die Minterme disjunktiv verknüpft ergeben die DNF.
- Schreiben Sie für jede ⊥-Zeile einen Maxterm: alle Variablen disjunktiv verknüpft, negiert dort, wo die Zeile sie wahr macht. Die Maxterme konjunktiv verknüpft ergeben die KNF.
- Beide Formeln haben genau die Tabelle, von der Sie ausgegangen sind, also ist jede von beiden eine richtige Antwort. Minimieren Sie danach, wenn Sie die kürzeste wollen.
Minterm
Eine Konjunktion aller Variablen, je negiert oder nicht, die in genau einer Zeile der Tabelle wahr ist. Die DNF ist die Disjunktion der Minterme der Zeilen mit Ausgabe ⊤ - daher ein Term je ⊤-Zeile.
Maxterm
Eine Disjunktion aller Variablen, je negiert oder nicht, die in genau einer Zeile der Tabelle falsch ist. Die KNF ist die Konjunktion der Maxterme der Zeilen mit Ausgabe ⊥ - daher ein Term je ⊥-Zeile.
Beispiel: Exklusiv-Oder
Die Tabelle oben ist die, mit der das Werkzeug startet: p und q, wahr in genau den beiden Zeilen, in denen sich die Eingaben unterscheiden.
- Zwei Zeilen sind ⊤, also hat die DNF zwei Minterme: (p ∧ ¬q) ∨ (¬p ∧ q)
- Die beiden anderen sind ⊥, also hat die KNF zwei Maxterme: (p ∨ q) ∧ (¬p ∨ ¬q)
Keine von beiden lässt sich kürzen - das Exklusiv-Oder braucht beide Terme wirklich -, und das sollte man einmal gesehen haben: die kanonische Form ist nicht immer der Umweg. Bei einer Tabelle wie „höchstens eines von p, q, r“ zieht die minimale Form deutlich davon.
Boolesche Synthese verstehen
Disjunktive Normalform (DNF)
DNF stellt eine Formel als ODER von UNDs dar (Summe der Produkte). Für jede Zeile, in der die Ausgabe wahr ist, erstellen wir einen Minterm, der alle Variablen mit UND verknüpft und die falschen negiert. Diese Minterme werden dann mit ODER verknüpft.
Konjunktive Normalform (KNF)
KNF stellt eine Formel als UND von ODERs dar (Produkt der Summen). Für jede Zeile, in der die Ausgabe falsch ist, erstellen wir einen Maxterm, der alle Variablen mit ODER verknüpft und die wahren negiert. Diese Maxterme werden dann mit UND verknüpft.
DNF und KNF im Vergleich
| Aspekt | Disjunktive Normalform (Summe der Produkte) | Konjunktive Normalform (Produkt der Summen) |
|---|---|---|
| Gebildet aus | Den Zeilen mit Ausgabe ⊤, je ein Minterm | Den Zeilen mit Ausgabe ⊥, je ein Maxterm |
| Form | Eine Disjunktion von Konjunktionen: ein ODER von UNDs | Eine Konjunktion von Disjunktionen: ein UND von ODERs |
| Sinnvoll, wenn | Sie die Fälle aufzählen wollen, die die Formel wahr machen, oder eine UND-ODER-Schaltung auslegen | Sie die Bedingungen brauchen, die alle zugleich gelten müssen, oder die Klauselform, die ein SAT-Solver erwartet |
Wie groß wird die Tabelle?
Eine Funktion von n Variablen hat 2ⁿ Zeilen, die Tabelle verdoppelt sich also mit jeder weiteren Variablen: 4 Zeilen bei zwei Variablen, 8 bei drei, 16 bei vier und 32 bei fünf, wo dieses Werkzeug aufhört. Die DNF nimmt einen Term je ⊤-Zeile und die KNF einen je ⊥-Zeile, zusammen erfassen sie also jede Zeile genau einmal - und eine von beiden ist immer der kürzere Ausgangspunkt.
Anwendungen der Wahrheitstabellensynthese
Die Umwandlung von Wahrheitstabellen in logische Ausdrücke ist eine grundlegende Technik in der Informatik und Digitalelektronik. Dieses Tool hilft bei:
- Digitale Schaltungsentwurf - Erstellen Sie Boolesche Gleichungen für Logikgatter aus dem gewünschten Ein-/Ausgabeverhalten
- Softwareentwicklung - Generieren Sie bedingte Logik aus Spezifikationstabellen
- Akademische Studien - Lernen und üben Sie Boolesche Algebra und Aussagenlogik
- Logikoptimierung - Vergleichen Sie DNF- und KNF-Formen, um einfachere äquivalente Ausdrücke zu finden
Häufig gestellte Fragen
Antworten auf häufige Fragen zur Nutzung des Logik-Rechners
Was macht das Werkzeug 'Wahrheitstafel zu Ausdruck'?
Es lässt den Rechner rückwärts laufen. Du legst die Ergebnisspalte einer Wahrheitstafel fest, indem du auf jede Zeile klickst, und es erzeugt eine Formel mit genau dieser Wahrheitstafel – in disjunktiver Normalform (einem ODER von UNDs) oder konjunktiver Normalform (einem UND von ODERs).
Was ist der Unterschied zwischen DNF und KNF?
Die DNF ist eine Summe von Produkten: eine Konjunktion für jede Zeile, in der das Ergebnis wahr ist, alle durch ODER verbunden. Die KNF ist ein Produkt von Summen: eine Disjunktion für jede Zeile, in der das Ergebnis falsch ist, alle durch UND verbunden. Beide beschreiben dieselbe Funktion; vorzuziehen ist also die, die für deine Tafel kürzer ausfällt – eine überwiegend falsche Spalte ergibt eine kurze DNF, eine überwiegend wahre eine kurze KNF.
Wie viele Variablen verkraftet das Synthesewerkzeug?
Bis zu fünf, also eine Tafel mit 32 Zeilen. Jede weitere Variable verdoppelt die Zeilen, und jenseits von fünf ist die Tafel von Hand nicht mehr sinnvoll zu setzen.
Warum ist der erzeugte Ausdruck so lang?
Eine Normalform wird Zeile für Zeile gebaut – ein Term in voller Breite für jede Zeile, die abgedeckt werden muss. Ihre Länge folgt also der Wahrheitstafel und nicht dem Gedanken dahinter. Sie ist konstruktionsbedingt korrekt, nicht kompakt. Um sie zu kürzen, öffne sie im Rechner, der äquivalente Formen einschließlich einer minimierten DNF auflistet.
Bekomme ich auch eine vereinfachte Fassung einer Formel?
Ja. Gib sie im Rechner ein und sieh dir die äquivalenten Formen unter der Wahrheitstafel an. Dort stehen Formen, die durch Umformen mit den algebraischen Gesetzen entstehen, sowie die aus der Wahrheitstafel abgelesene DNF und KNF zusammen mit einer minimierten DNF.