Online-Rechner Aussagenlogik

Dieser Rechner ermittelt Wahrheitswerte für einfache aussagenlogische Terme. Folgende Symbole dürfen in den Termen vorkommen:

• Variable x, y, z
• Konstanten W (wahr) und F (falsch)
• Negation (Verneinung), Symbol ¬
• Konjunktion (Und-Verknüpfung), Symbol ∧
• Disjunktion (Oder-Verknüpfung), Symbol ∨
• Implikation, Symbol ⇒
• Äquivalenz, Symbol ⇔
• Runde Klammern

Für ¬, ∧, ∨, ⇒ und ⇔ gilt die Vereinbarung, dass ein Symbol umso stärker bindet, je weiter links es in dieser Aufzählung steht. Durch diese Festlegung ist es in vielen Fällen möglich, Klammern einzusparen.

Im Ausgabebereich (links) sind folgende Informationen abzulesen:

• Eingegebener Term
• Bemerkung (Art des Gesamtterms oder Hinweis auf unvollständigen Term)
• Wahrheitstabelle (Wahrheitswerte der Variablen und des eingegebenen Terms)
• Disjunktive Normalform
• Konjunktive Normalform