Zentrale Verarbeitung

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

Für Details siehe die Hilfe zur Syntax.



Sie sind die 894761. Besucherin.