Server-side Processing

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

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

You are visitor number 864687