Zentrale Verarbeitung

Hilfe zur Syntax - Hilfe zu den Verarbeitungen - Andere Funktionen - Kontakt - English version

Bitte beachten Sie, dass als Konnektive die Ausdrücke "~" (Negation), "&" (Konjunktion), "v" (Disjunktion), "->" (Konditional) und "<->" (Bikonditional) verwendet werden müssen und dass die Buchstaben "F" und "W" keine Satzbuchstaben, sondern die konstanten Werte falsch und wahr sind (für Details siehe Hilfe zur Syntax).

P->((Q->R)&(~S v R))

Verarbeitungsauftrag

Maximale Wartezeit

Schrittweise Ausgabe

Sie sind die 510318. Besucherin.