Boolean Operators
- please consider donation: DONATION
- or purchase the license via ORDER Page or INFIMA Online Store
| Key word | Category | Description | Example | Since |
|---|---|---|---|---|
| & | Boolean Operator | Logical conjunction (AND) | p & q | 1.0 |
| ∧ | Boolean Operator | Logical conjunction (AND) - unicode math symbol | p ∧ q | 5.0 |
| && | Boolean Operator | Logical conjunction (AND) | p && q | 1.0 |
| /\ | Boolean Operator | Logical conjunction (AND) | p /\ q | 1.0 |
| ⊼ | Boolean Operator | NAND - Sheffer stroke - unicode math symbol | p ⊼ q | 5.0 |
| ~& | Boolean Operator | NAND - Sheffer stroke | p ~& q | 1.0 |
| ~∧ | Boolean Operator | NAND - Sheffer stroke - unicode math symbol | p ~∧ q | 5.0 |
| ¬& | Boolean Operator | NAND - Sheffer stroke - unicode math symbol | p ¬& q | 5.0 |
| ¬∧ | Boolean Operator | NAND - Sheffer stroke - unicode math symbol | p ¬∧ q | 5.0 |
| ~&& | Boolean Operator | NAND - Sheffer stroke | p ~&& q | 1.0 |
| ~/\ | Boolean Operator | NAND - Sheffer stroke | p ~/\ q | 1.0 |
| ¬&& | Boolean Operator | NAND - Sheffer stroke - unicode math symbol | p ¬&& q | 5.0 |
| ¬/\ | Boolean Operator | NAND - Sheffer stroke - unicode math symbol | p ¬/\ q | 5.0 |
| | | Boolean Operator | Logical disjunction (OR) | p | q | 1.0 |
| ∨ | Boolean Operator | Logical disjunction (OR) - unicode math symbol | p ∨ q | 5.0 |
| || | Boolean Operator | Logical disjunction (OR) | p || q | 1.0 |
| \/ | Boolean Operator | Logical disjunction (OR) | p \/ q | 1.0 |
| ⊽ | Boolean Operator | Logical NOR - unicode math symbol | p ⊽ q | 5.0 |
| ~| | Boolean Operator | Logical NOR | p ~| q | 1.0 |
| ~∨ | Boolean Operator | Logical NOR - unicode math symbol | p ~∨ q | 5.0 |
| ¬| | Boolean Operator | Logical NOR - unicode math symbol | p ¬| q | 5.0 |
| ¬∨ | Boolean Operator | Logical NOR - unicode math symbol | p ¬∨ q | 5.0 |
| ~|| | Boolean Operator | Logical NOR | p ~|| q | 1.0 |
| ~\/ | Boolean Operator | Logical NOR | p ~\/ q | 1.0 |
| ¬|| | Boolean Operator | Logical NOR - unicode math symbol | p ¬|| q | 5.0 |
| ¬\/ | Boolean Operator | Logical NOR - unicode math symbol | p ¬\/ q | 5.0 |
| ⊻ | Boolean Operator | Exclusive or (XOR) - unicode math symbol | p ⊻ q | 5.0 |
| (+) | Boolean Operator | Exclusive or (XOR) | p (+) q | 1.0 |
| ⇒ | Boolean Operator | Implication (IMP) - unicode math symbol | p ⇒ q | 5.0 |
| --> | Boolean Operator | Implication (IMP) | p --> q | 1.0 |
| ⇐ | Boolean Operator | Converse implication (CIMP) - unicode math symbol | p ⇐ q | 5.0 |
| <-- | Boolean Operator | Converse implication (CIMP) | p <-- q | 1.0 |
| ⇏ | Boolean Operator | Material nonimplication (NIMP) - unicode math symbol | p ⇏ q | 5.0 |
| -/> | Boolean Operator | Material nonimplication (NIMP) | p -/> q | 1.0 |
| ⇍ | Boolean Operator | Converse nonimplication (CNIMP) - unicode math symbol | p ⇍ q | 5.0 |
| </- | Boolean Operator | Converse nonimplication (CNIMP) | p </- q | 1.0 |
| ⇔ | Boolean Operator | Logical biconditional (EQV) - unicode math symbol | p ⇔ q | 5.0 |
| <-> | Boolean Operator | Logical biconditional (EQV) | p <-> q | 1.0 |
| ~ | Boolean Operator | Negation | ~p | 1.0 |
| ¬ | Boolean Operator | Negation - unicode math symbol | ¬p | 5.0 |
as of 2022-04-15