Server-side Processing

Help on syntax - Help on tasks - Other programs - Feedback - Deutsche Fassung

Please note that connectives must be entered as the strings "~" (negation), "&" (conjunction), "v" (disjunction), "->" (conditional), and "<->" (biconditional). Also note that you should use capital letters for propositional variables, the only exception being the letters "F" and "W" which indicate the constant values false and true. For more details on syntax, refer to Help on syntax.