Logic calculator: 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.
Operating the Logic server currently costs about 113.88€ per year (virtual server 85.07€, domain fee 28.80€); hence the Paypal donation link.