Algebra booleana

Brevi annotazioni con esercizi da svolgere sull'algebra booleana (8 pagine formato doc)

Appunto di egnu89
L'Algebra Booleana è un sistema che permette di trattare in forma matematica una parte del pensiero umano; ci interessa perché se il pernsiero umano può essere codificato in forma numerica, vuol dire che potrà essere tradotto in modo che risulti comprensibile al computer e questo ci permetterà di fa "pensare " questa macchina come noi.
Solamente in parte però, poiché questo tipo di algebra tratta solo un aspetto del modo di ragionare: la logica proposizionale o logica aristotelica.
Questa parte del pensiero umano è stata isolata e studiata dal filosofo greco Aristotele ed è stata di nuovo analizzata, nella metà dell'ottocento, dal matematico inglese George Bool. Utilizzando la logica aristotelica, egli ha costruito un sistema matematico detto appunto ALGEBRA BOOLEANA.
Questa si occupa di formalizzare in un sistema matematico quelle che sono le proposizioni logiche, ovvero le frasi alle quali possiamo rispondere con un "vero" o "falso". Es. "Oggi piove"; è una proposizione che può solo essere vera o falsa.