LogicTraffic: Aussagenlogik zur Sicherheit bei Strassenkreuzungen

LogicTraffic auf einen Blick

Das ganze Programm mit Situation, Wahrheitstabelle, Formel zur Wahrheitstabelle und Formel-Editor, Statusanzeigen und Steuer-Knöpfen.

 

LogicTraffic beschäftigt sich mit der Sicherheit an Strassenkreuzungen wie dieser. (Hier im Simulations-Modus.)

 

Die Wahrheitstabelle mit Statusanzeige und dazugehöriger Formel in der gewünschten Form (im Bild KNF).

 

Der Formel-Editor von LogicTraffic für aussagenlogische Formeln. - Hier können direkt Formeln editiert werden.

 

Die interaktive Visualisierung des Parse-Baums, mit binärer und n-ärer Darstellung, im Bild eine Formel in KKNF in der n-ären Darstellung.