Server-side Processing

Examples and information on the input syntax

Please note that the letters "W" and "F" denote the constant values truth and falsehood and that the lower-case letter "v" denotes the disjunction. You may use all other letters of the English alphabet as propositional variables with upper-case letters being preferred.

Connectives must be entered as the strings "¬" or "~" (negation), "∧" or "&" (conjunction), "∨" or the lower-case letter "v" (disjunction), "→" or "->" (conditional), and "↔" or "<->" (biconditional). The English words "not", "and" and "or" will be accepted, too. Unicode characters "¬", "∧", "∨", "→" and "↔" require JavaScript to be enabled in your browser

Examples: 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)

For more details on syntax, refer to Help on syntax.

You are visitor number