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