Algebra di Boole: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
wrong grammar Etichette: Annullato Inserimento di parole incomprensibili Sequenze di caratteri ripetuti da parte di un nuovo utente o IP Modifica visuale |
m Annullata la modifica di 2A01:E11:5001:95D0:C030:B4AE:9DF3:24B9 (discussione), riportata alla versione precedente di 159.149.166.27 Etichette: Rollback SWViewer [1.6] |
||
Riga 12:
Più precisamente, si parla di algebra di Boole in riferimento a un insieme K sul quale sono definite le operazioni di ''somma logica'' (+, OR) e ''prodotto logico'' (*, AND), cioè una terna <math>(K,+,*)</math>, che costituisce un reticolo in cui sono inoltre soddisfatte la proprietà distributiva, l'esistenza del ''minimo'' e del ''massimo'' e l'esistenza del ''complemento''.
Nel dettaglio, si ha un'algebra di
;Commutativa
| |||