Erlaubte Satzbuchstaben: P, Q, R, S, T und P1, P2, P3, P4...
Operatoren: & v -> ! , Argumentschema-Zeichen: , :: , Konstanten: W F
Alle Operatoren sind linksassoziativ und haben keine definierte Präzedenz.
Eindeutigkeit der Klammerung verlangen.
Es kann einen Moment dauern sie zu generieren.
Klicke hier, wenn du die Wahrheitstafel sehen möchtest.