Zentrale Verarbeitung

Informationen und Beispiele zum Eingabeformat

Die Buchstaben "W" und "F" sind keine Satzbuchstaben, sondern die konstanten Werte "wahr" und "falsch".

Als Konnektive verwenden Sie bitte "¬" oder "-" (Negation), "∧" oder "&" (Konjunktion), "∨" bzw. den Kleinbuchstaben "v" (Disjunktion), "→" oder "->" (Konditional) und "↔" bzw. "<->" (Bikonditional); ebenfalls zulässig sind die Schreibweisen "not", "and" und "or". Um die Unicode-Zeichen "¬", "∧", "∨", "→" und "↔" verwenden zu können, achten Sie bitte darauf, dass in Ihrem Browser JavaScript aktiviert ist.

Beispiele: P -> ((Q -> R) & (~S v R)) (P -> Q) v (Q -> P) ~P -> (P -> Q)
(P -> Q) ↔ (Q -> P) ~~~P -> ~((Q & ~R) v (~Q -> R)) P-> ~Q
(A and B) or (C and not D) (P1 and not P2) or (not P3 and not P4) or (P5 and P6) not (P and not P)

Für Details siehe die Hilfe zur Syntax.



Sie sind die . Besucherin.