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.
Der Betrieb des Logikrechners kostet derzeit ca. 113,88€ pro Jahr (Cloudserver 85,07€, Domänengebühr 28,80€), deshalb hier ein Paypal-Spendenlink.