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

 


 

Segnalami un errore, un refuso o un suggerimento per migliorare gli appunti

FacebookTwitterLinkedinLinkedin
knowledge base

Algebra di Boole