< Zurück >
System zum Auswerten boolscher Ausdrücke





Das Program wertet boolsche Ausdrücke aus und übersetzt sie in die Disjunktive Normalform, danach werden die Ausdrücke vereinfacht. Das orginale Programm wurde in Lisp geschrieben (Lisp Quelltext). Das Programm habe ich dann in C übersetzt.
In dem Eingabefeld auf dieser Seite können boolsche Ausdrücke eingegeben werden, die dann vom Server ausgewertet werden. Das Ergebnis der Auswertung ist in der unteren Frame zu sehen.
Syntax und Beispiele
 

Operatoren (absteigende Priorität)
Operanden
 (  ) - Klammerung
  !   - not
  &,* - and
  |,+ - or
  ^   - xor
  >   - imp
  =   - equ
  0   - False
  1   - True
  a . . z
  A . . Z



 
Ergebnis mit Ausgabe der Boolschen Tabelle
Bis zu 10 Variablen und 200 Eingabe Zeichen werden ausgewertet