Segni e simboli logici
| Simbolo | Nome simbolo | Significato / definizione | Esempio |
|---|---|---|---|
| ⋅ | e | e | x ⋅ y |
| ^ | accento circonflesso | e | x ^ y |
| & | e commerciale | e | x & y |
| + | più | o | x + y |
| ∨ | accento circonflesso invertito | o | x ∨ y |
| | | linea verticale | o | x | y |
| x ' | virgoletta singola | non - negazione | x ' |
| x | bar | non - negazione | x |
| ¬ | non | non - negazione | ¬ x |
| ! | punto esclamativo | non - negazione | ! X |
| ⊕ | cerchiato plus / oplus | esclusivo o - xor | x ⊕ y |
| ~ | tilde | negazione | ~ x |
| ⇒ | implica | ||
| ⇔ | equivalente | se e solo se (iff) | |
| ↔ | equivalente | se e solo se (iff) | |
| ∀ | per tutti | ||
| ∃ | lì esiste | ||
| ∄ | non esiste | ||
| ∴ | perciò | ||
| ∵ | perché / da allora |