La Logica Booleana

Introduzione

In questo articolo di ComeFunziona.net vi mostreremo uno degli argomenti più interessanti e affascinanti di tutto 
l'universo informatico ed elettronico. In un precedente articolo abbiamo visto come funziona la Logica Binaria Vedi articolo Bits&Bytes), ne abbiamo trattato l'utilità e abbiamo imparato come essa rappresenti il pilastro fondamentale delle comunicazioni telematiche, ovvero quelle che avvengono per lo scambio di informazioni manipolate sotto forma di serie di "1" e "0" tra tutti i dispositivi elettronici che su di essa basano tutta la propria "comunicazione".

Oggi, impareremo come funziona la Logica Booleana. Essa non è altro che un'astrazione matematica per gestire il "trattamento delle informazioni" di tipo binario. La domanda più quotata naturalmente è: 

Che cos'è e a che cosa serve un'astrazione? Un'astrazione è nient'altro che una semplificazione di un problema. Nella vita quotidiana, e fin da quando siamo bambini operiamo continuamente su astrazioni, di qualsiasi genere e lo facciamo solo perché attraverso di esse possiamo concepire la realtà in maniera più semplice. Solo per citarvi un esempio, immaginate quando da piccoli disegnavate un albero sul foglio: esso aveva niente di più di una chioma molto poco dettagliata, un tronco senza alcun dettaglio e, forse, qualche ramo. Ecco quella era la generalizzazione di un albero.

Il termine "Booleana" deriva dal nome del matematico americano Geroge Boole (1815-1864), che per primo formalizzò il concetto di Vero o Falso. Tutta la sua carriera si proiettò sullo studio della Logica Matematica e  sulla strutturazione di quella algoritmica che, sebbene non ce ne accorgiamo, tutti noi utilizziamo largamente. 

In altri termini, le proposizioni del tipo "Se.... allora ... altrimenti", sono parte integrante di tutto ciò che 
facciamo. Oggi l'Informatica deve tutto ai suoi studi.  Per capire bene cos'è la LB, facciamo un passo indietro e riprendiamo il concetto di Logica degli Insiemi. 

Ricordate ciò che facevate alle scuole Elementari, quando vi dicevano di collezionare oggetti dello stesso tipo? 
Esatto, quello è un insieme! Ma seguiteci e scopriamone di più.