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). 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

Für Details siehe die Hilfe zur Syntax.



Sie sind die 953462. Besucherin.