TruthTable v2.1

Überprüfung logischer Sätze mittels Wahrheitstabellen, Ausgabe von disjunktiver und konjunktiver Normalform

Vorhandene Operatoren in absteigender Bindungsstärke:

Operator  Bedeutung
~A Negation
A&B und
A|B oder
AxB XOR (ausschließendes oder) 
A=>B A impliziert B
A<=B B impliziert A
A<=>B Äquivalenz

Zu prüfende Sätze:



TruthTable v2.1, (c) Copyright 2005-2010 by Patrick Roocks, www.p-roocks.de
(geschrieben in PHP5 mit regulären Ausdrücken)

Download PHP-Script