Wahrheitswerttabelle: Übungstool
Geben Sie eine wohlgeformte Formel ein, deren Wahrheitswerttabelle Sie erstellen wollen!
Es wird zunächst geprüft, ob der von Ihnen eingegebene Ausdruck wohlgeformt ist. Hierbei wird die in Lektion 2 gegebene Definition wohlgeformter Formeln vorausgesetzt:
Alphabet:
Satzbuchstaben: P,Q,R,S,T,U,P1,P2,P3, ...
Logische Zeichen: ¬,&,v,->,<->
Hilfszeichen: ( , )
Klammerregeln:
1. Aussenklammern können eliminiert werden.
2. &, v binden stärker als ->, <->.
3. Bei gleich starker Bindung sind die Formeln von links nach rechts zu verklammern.
Zu beachten ist des Weiteren, dass gemäss n der Definition wohlgeformter Formeln Satzbuchstaben sowie ihre Negationen nicht eingeklammert werden!
Eingabehilfe Sonderzeichen:
Datenschutzerklärung HU Berlin - Erstellt von D. Engler / T. Lampert