La lista dei simboli logici
Ci sono diverse equivalenze tra l'algebra booleana, logica e la teoria degli insiemi.
Simboli diversi hanno le stesse proprietà e lo stesso significato logico.
La tabella delle equivalenze
| congiunzione | • | ∧ | AND | ⋂ | & |
| disgiunzione | + | ∨ | OR | ∪ | || |
| implicazione | → | ⇒ | ⊃ | ||
| se e solo se | ↔ | ⇔ | ≡ | ||
| negazione | ˜ | ¬ | NOT | ! | |
| disgiunzione esclusiva | ⊕ | ⊻ | XOR | ||
| quantificatore universale | ∀ | ||||
| quantificatore esistenziale | ∃ |
