| Operator | Syntax |
|---|---|
| open parenthesis | ( |
| close parenthesis | ) |
| and | &, &&, ., /\, and, ∧ |
| nand | !&, !&&, nand, ~&, ~&&, ↑, ⊼ |
| or | +, \/, or, |, ||, ∥, ∨ |
| nor | !|, !||, nor, ~|, ~||, ↓, ⊽ |
| exclusive or | !=, ^, xor, ↮, ≢, ⊕, ⊻ |
| not | !, not, ~, ¬ |
| implies | ->, =>, >, implies, →, ⇒, ⊃, ⟹ |
| converse | <, <-, <=, converse, ←, ⇐, ⊂, ⟸ |
| biconditional | <->, <=>, <>, =, ==, iff, xnor, ↔, ⇔, ≡, ⊙ |
| Operand | Syntax |
| true | 1, t, true, ⊤ |
| false | 0, f, false, ⊥ |
You can input multiple propositions by separating them with commas (,):
ab,cd
Two operands next to each other is treated as an 'implicit and'
(unless this feature is disabled):abc|d = a ∧ b ∧ c ∨ d