Algebra di Boole: differenze tra le versioni

Versione delle 03:52, 17 mag 2019

Versione delle 10:34, 3 giu 2019

Riga 33:

;Esistenza del complemento

:<math>a*!\overline{a}=0 \qquad a+!\overline{a}=1</math>

Il modo in cui sono elencate le proprietà vuole mettere in evidenza la simmetria che c'è tra i due operatori, che è poi all'origine della [[#Legge di dualità|''legge di dualità'']] e altre proprietà molto importanti. Nell'elencare gli assiomi, il complemento è stato indicato con un "!" (punto esclamativo) antecedente alla ''[[variabile booleana]]'' (notazione tipica della programmazione in C e C++); il complemento può anche essere indicato con un trattino sulla variabile (che è tipograficamente difficile da realizzare, anche se è la notazione migliore), con uno slash prima della variabile o addirittura con un segno meno antecedente a essa, quando non è una notazione equivoca. Il ''complemento'' corrisponde all'operazione logica ''NOT''.