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 | 
Advertising