# 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). 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 |

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