Wahrheitswerttabelle Textoutput
Geben Sie eine wohlgeformte Formel ein, deren Wahrheitswerttabelle erstellt werden soll!Im Unterschied zum Übungstool für die Wahrheitswerttabellen akzeptiert dieses tool eine liberalere Definition wohlgeformter Formeln:
Alphabet:
Satzbuchstaben: beliebige Grossbuchstaben sowie die Buchstaben p bis u, jeweils mit und ohne Zahlenindices.
Logische Zeichen: ¬ (alternativ ~),&,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.
Einklammerungen einzelner Satzbuchstaben und ihrer Negationen sind zulässig.
Eingabehilfe Sonderzeichen:
Datenschutzerklärung HU Berlin - Erstellt von D. Engler / T. Lampert