Algebre booleane e progetto logico dei calcolatori digitali/Algebra delle classi - Algebra della logica
Insiemi
[modifica | modifica sorgente]Introduciamo il concetto di insieme mediante esempi.
L'insieme degli italiani, l'insieme dei numeri interi, ecc. Gli enti che fanno parte di un insieme vengono chiamati elementi.
Per scrivere che un elemento X appartiene ad un insieme A, si usa la notazione:
Inversamente, se X non appartiene ad A si scriverà:
Inoltre, per rappresentare un insieme, si utilizzeranno delle parentesi, all'interno delle quali si troveranno gli elementi stessi, oppure il simbolo dell'elemento generale con l'enuncuato della proprietà comune a tutti gli elementi dell'insieme.
Così se R è l'insieme delle radici della equazione.
si avrà:
- R={1,2,3}
oppure:
- R={x|x3-6x2+11x-6=0}
e questa seconda notazione si leggerà: R è l'insieme degli elementi x tali che si abbia:
Si dice che due insiemi, A e B, sono uguali (0 identici)se essi sono formati dagli stessi elementi: e si scrive A=B.
In altri termini, ogni elemento x appartenente ad A appartiene a B e viceversa.
Esempio 1. gli insiemi:
dove {x} è l'insieme costituito dal solo elemento 2, sono uguali.
Si dice che un insieme A è un sottoinsieme di un insieme Bse ogni elemento di A appartiene a B (si dice anche che A è incluso in B o che A è una parte di B, o infine, che B contiene A) e si utilizzano le notazioni:
Nella definizione data, come nelle notazioni 1) e 2), non si esclude il caso in Dato un insieme A come sottoinsieme di un insieme U, si chiama complemento di A rispetto ad U l'insieme dei punti di U che non appartengono ad A.
Si scrive:
Si può scrivere, utilizzando le notazioni di cui sopra:
Esempio 2. Se U è l'insieme dei numeri reali e A quello dei numeri razionali, U-A è l'insieme dei numeri irrazionali.
L'insieme U-A è un complemento relativo. Quando non vi è ambiguità sull'insieme U da considerare, si può definire un complemento assoluto come l'insieme dei punti che non appartengono ad A e lo si denota con la espressione:
Si noti che l'operazione con la quale si ottiene da A, cioè la complementazione, è una operazione ad un solo termine.
Definiamo ora operazioni a 2 termini (binarie).
a) L'unione di due termini A e B è l'insieme dei punti che appartengono ad A o a B oppure ad entrambi contemporaneamente.
L'unione di A e B è rappresentata:
- .
Così l'unione dell'insieme dei punti del segmento 0≤x≤1 e del segmento 0,5≤x≤1,5 è l'insieme dei punti del segmento 0≤x≤1,5.
b) L'intersezione di due insiemi A e B è l'insieme dei punti che appartengono contemporaneamente ad A ed a B e si rappresenta:
- .
Per esempio l'intersezione dei numeri primi e dell'insieme dei numeri pari è l'insieme {2}.
È comodo introdurre un insieme il quale non possiede alcun elemento: esso si chiama elemento vuoto e lo si rappresenta con il simbolo Φ.
Segue che l'uguaglianza
significa che gli insiemi A' e B non hanno alcun punto in comune. Si dice anche che essi sono disgiunti. Analogamente è conveniente introdurre un insieme contenente tutti gli elementi possibili: insieme universale o universo (e lo si noterà con il simbolo U.I, ecc.).
Dato un insieme E, i suoi sottoinsiemi possono essere considerati come gli elementi dell'insieme potenza P(E) o 2E (insieme delle parti di E costituito dai sottoinsiemi di E, inclusi l'insieme vuoto e quello improprio).
Esempio:
P(E) è dunque un insieme di insiemi dei suoi sottoinsiemi: sono particolarmente interessanti quelli chiamati ricoprenti di E o parti di E.
Dato un insieme E (appartenente all'insieme universale U), si chiama ricoprimento di E un insieme delle parti di E un insieme delle parti di E tale che E sia uguale alla loro unione.
Esempio. L'insieme dei numeri interi, dei numeri razionali, dei numeri irrazionali e dei numeri trascendenti, costituisce un ricoprimento dell'insieme dei numeri reali.
Un ricoprimento di E sia tale che due insiemi qualunque di esso siano disgiunti. Ogni punto di E si trova allora in un insieme della partizione, e uno solo.
Così l'insieme dei numeri razionali e dei numeri irrazionali, costituiscono una partizione dell'insieme dei reali.
Queste differenti definizioni possono ricevere una interpretazione grafica chiamata Diagrammi di Venn. L'insieme universale è rappresentato con un rettangolo e gli insiemi A, B ecc. sono rappresentati come cerchi.
Nelle figure seguenti si dà l'interpretazione delle diverse operazioni definite precedentemente:
![](http://upload.wikimedia.org/wikipedia/commons/c/c0/Diagramma_di_Venn-rappresentazione_delle_operazioni_di_complemetazione%2C_inione_e_intersezione.png)
Algebra delle classi
[modifica | modifica sorgente]Si consideri un insieme I che starà a rappresentare, nel seguito, l'insieme universale. I differenti sottoinsiemi di I formano essi stessi un insieme, sul quale si possono definire le tre operazioni di: unione, intersezione e complementazione. L'insieme dei sottoinsiemi di I costituisce così un'algebra denominata algebra delle classi.
A partire dalle definizioni di insieme, sottoinsieme e delle 3 operazioni di cui sopra, si possono dimostrare diverse proprietà di questa algebra. Esse si possono giustificare con l'aiuto dei diagrammi di Venn, oppure con rigorose dimostrazioni, partendo dalle definizioni.
È la proprietà detta dell'associatività dell'unione ∪.
È la legge d'associatività dell'0perazione di intersezione.
Essa è la legge di commutatività dell'operazione di unione ∪; risulta dalla definizione di A∪B: il risultato non dipende evidentemente dall'ordine dei due operandi A e B.
Legge di commutatività dell'operazione d'intersezione.
Φ non contiene nessun elemento quindi la sua unione con l'insieme A non è altro che A stesso.
Essendo A contenuto in I (per definizione), i punti comuni ad A e I sono tutti quelli di A.
Legge di distributività dell'unione rispetto all'intersezione.
Un insieme A ed il suo complementare non hanno alcun punto in comune : essa è una conseguenza della definizione di
L'unione di un insieme A e del suo complementare è sempre l'insieme universale. Esso è una conseguenza della definizione di . quindi il complementare di A soddisfa alle due relazioni : E9 e E10.
Inversamente, se un insieme B soddisfa alle relazioni:
Esso è il complemento di A; ossia:
Infatti, sia un elemento x∈B, la E'9 afferma che x∉A e la E'10 che x∈I.
Dunque x appartiene ad , . Dunque . Ma ogni elemento di A, d'altra parte, verifica E9 ed E10; dunque se , ; per cui .
Da cui . In altri termini, le due relazioni E'9 e E'10 hanno per soluzioni e le si utilizzeranno, in pratica, per definire direttamente .
Legge di idempotenza per la unione U.
Legge di idempotenza per la intersezione ∩.
Prima legge d'assorbimento.
L'intersezione E=A∩B è un sottoinsieme di A; l'ulteriore unione di E con A non può che dare A.
Seconda legge di assorbimennto.
A è contenuto in E=A∪B, da cui A∩E=A.
Primo teorema di Morgan per gli insiemi: esso si enuncia dicendo che il complementare della unione è uguale all'intersezione dei complementari.
Secondo teorema di De Morgan:
Il complemento delle intersezioni è uguale all'unione dei complementari.
Algebra della logica
[modifica | modifica sorgente]Proposizioni: valore logico delle proposizioni
[modifica | modifica sorgente]Se si esamina il linguaggio di cui si fa uso ogni giorno, e più particolarmente quello che serve come mezzo per esprimere un ragionamento scientifico, se ne possono discernere degli elementi detti proposizioni: legandole tra di loro, si può costruire l'enunciato di un teorema, la dimostrazione di un teorema, una definizione, ecc..
Questa articolazione del linguaggio in proposizioni è, del resto, una delle caratteristiche fondamentali del linguaggio umano.
Così le espressioni:
- "11 è un numero primo"
- "il triangolo 'ABC è rattangolo"
costituiscono delle proposizioni.
Ciascuna di queste proposizioni, può essere esaminata sotto l'aspetto della sua verità o della sua falsità.
Per esempio: la proposizione 1) è vera mentre la 2) può essere esaminata con il criterio su accennato e deve essere possibile se essa è vera o falsa.
Nel seguito si studieranno le proposizioni e si supporrà che le proposizioni esaminate non possano essere che vere o false.
Operazioni sulle proposizioni
[modifica | modifica sorgente]Continuando l'esame del linguaggio ordinario, si può mettere in evidenza tutta una classe di parole, o anche di espressioni più complesse, che però non sono proposizioni ma elementi di legame tra proposizioni: e, o, ma, oppure, "implica che", "equivale a dire che", ecc.. Nel linguaggio corrente, queste operazioni di legame delle proposizioni elementari, formando proposizioni più complesse, non sono prive di ambiguità.
Nondimeno, le nozioni di proposizione e di legami, forniscono lo spunto per un insieme di concetti matematici che, in questo caso, saranno dotati di una definizione rigorosa.
Prodotto logico: operazione AND
[modifica | modifica sorgente]Consideriamo per esempio le due proposizioni:
- "x è un numero primo"
- "Il triangolo ABC è rettangolo"
Con l'aiuto della congiunzione "e" (AND) si può formare una nuova proposizione che si enuncerà: " x è un numero primo E il triangolo ABC è rettangolo".
Quando essa sarà vera?
Questa nuova proposizione sarà considerata come vera, quando le due proposizioni componenti sono vere tutte e due, e falsa in tutti gli altri casi. Ovviamente si sarebbe potuto considerare altre due proposizioni, ad esempio:
- "Roma è la capitale d'Italia"
- "Il clima italiano è mite"
e costruire in maniera analoga una proposizione nuova con la congiunzione "e"(AND).
Si vede dunque che l'operazione AND da una proposizione nuova, a partire da due proposizioni componenti, in una maniera caratterizzata essenzialmente dal modo in cui si determina se essa è falsa o vera, conoscendo la falsità o la verità delle componenti, ma, in fondo, indipendentemente dal senso e dalla natura delle proposizioni. Si può aòòora rappresentare ogni proposizione, con una variabile capace di prendere soltanto i due valori logici rappresentati von V (vero) e F (falso).
L'operazione di AND allora, tra due proposizioni generiche P e Q verrà definita dalla tavola AND.
Si definisce così una delle operazioni della logica matematica: essa viene indicata con il simbolo ∧ e si chiama operazione di AND o prodotto logico. Una tavola come quella a fianco prende il nome di tavola della Verità: essa descrive, per tutte le combinazioni possibili, il valore (vero o falso) della proposizione composta, in funzione dei valori delle proposizioni componenti.
Operazione di OR inclusivo (somma logica)
[modifica | modifica sorgente]![](http://upload.wikimedia.org/wikipedia/commons/c/c5/Tavola_della_verit%C3%A0_OR.png)
Si consideri la frase (nell'algebra ordinaria)
- "il prodotto X Y è nullo se x=0, y≠0; oppure se x≠0, y=0; oppure x=0, y=0."
La proposizione (x=0) oppure (y=0) fornisce un esempio di una nuova operazione che si può definire rigorosamente mediante una tavola
Date due proposizioni P e Q si chiamerà "proposizione P OR Q" e si scriverà "P V Q", la proposizione composta definita dalla tavola affiancata.
L'operazione V, così definita, prende il nome di somma logica.
Negazione di una proposizione
[modifica | modifica sorgente]![](http://upload.wikimedia.org/wikipedia/commons/3/35/Operazione_not.png)
A partire da una proposizione come "oggi piove", possiamo formulare una seconda proposizione "oggi non piove". È chiaro che se la prima è vera, la seconda è falsa e viceversa. Si può quindi definire l'operazione di negazione: la negazione di una proposizione P viene rappresentata con il simbolo ()P; ed è data dalla tavola affiancata. Conformemente all'uso generale, si preferisce rappresentare i due valori logici di una variabile, non con i simboli V ed F ma con i simboli 0 ed 1; si noti però che si tratta di una convenzione pratica alla quale l'aritmetica è completamente estranea. Tra le due convenzioni possibili si è scelta la seguente:
È facile riscrivere la tavole precedenti con il nuovo simbolismo.
Oltre alle tre operazioni logiche fin qui studiate, possiamo, con lo stesso metodo di definizione, costruire 24=16 tavole della verità di due variabili che definiscono altrettante operazioni o funzioni logiche:
Funzione OR esclusiva (F6)
[modifica | modifica sorgente]È il nome dato alla funzione F6: si confrontino le due tavole della verità di P⊕Q e P v Q
Si noti che P ⊕ Q ha il valore 1 quando P e Q hanno valori logici differenti e 0 altrimenti.
Al contrario la proposizione P v Q assume il valore 1 anche per P=1 e Q=1
![](http://upload.wikimedia.org/wikipedia/commons/8/8c/OR_esclusivo_ed_inclusivo.png)
Esempio. Il prodotto delle variabili algebriche non nulle A e B è negativo se A oppure B sono negative.
Equivalenza P ↔ Q (F9)
[modifica | modifica sorgente]Con l'operazione ⇔ si otterrà una nuova proposizione e si scriverà P ↔ Q; vera quando P e Q hanno lo stesso valore logico e falsa nel caso contrario: essa si chiama equivalenza di P e Q; oppure implicazione reciproca di P e Q.
Si noti come le due proposizioni P ↔ Q e P ⊕ Q sono l'una la negazione dell'altra. Il nome di implicazione di P ↔ Q trova giustificazione nella operazione seguente.
![](http://upload.wikimedia.org/wikipedia/commons/f/f5/Equivalenza_%28F9%29.png)
Implicazione (F11)
[modifica | modifica sorgente]È la funzione P → Q. Essa traduce il senso, talvolta vago, della nozione di implicazione nel linguaggio ordinario: quando P è vero, anche Q è vero (se piove allora ci sono le nubi): quindi P → Q è vero se P=1 e Q=1.
![](http://upload.wikimedia.org/wikipedia/commons/3/3d/Implicazione_%28F11%29.png)
Inoltre, quando P è falso, niente impedisce che Q assuma un valore arbitrario 1 o 0 e quindi P → Q è considerata vera nei due casi in cui P=0. In breve: Q non può essere falsa quando P è vera.
Il simbolo P → Q si legge: P implica Q oppure P è una condizione sufficiente per avere Q.
![](http://upload.wikimedia.org/wikipedia/commons/9/96/Implicazione_logica_naturale.png)
La funzione F13 rappresenta in maniera analoga la funzione Q → P. Si consideri la proposizione (P → Q)∧(Q → P): si può costruire la tabella della verità affiancata.
La colonna di destra è la stessa di quella della operazaione P ↔ Q ciò che giustifica il simbolo e il nome di implicazione reciproca della operazione ↔.
Funzione di Scheffer P/Q o incompatibilità (NAND)
[modifica | modifica sorgente]![](http://upload.wikimedia.org/wikipedia/commons/5/53/F7_-_incompatibilit%C3%A0_logica.png)
È la funzione F7. La proposizione P/Q è falsa quando P e Q sono entrambi veri, e vera in tutti gli altri casi. Questo giustifica il nome di Incompatibilità di P e Q. Essa è anche uguale alla negazione della funzione F8.
Funzione di Peirce (funzione NOR)
[modifica | modifica sorgente]![](http://upload.wikimedia.org/wikipedia/commons/8/80/Funzione_di_Peirce_%28NOR%29.png)
È la funzione F1. La proposizione è vera quando né P né Q sono vere. Essa è anche uguale a:
- .
Tautologie e contraddizioni
[modifica | modifica sorgente]Una proposizione composta che è falsa per tutti i valori logici possibili delle n proposizioni componenti, è una contraddizione.
Una proposizione composta che è vera per tutti i valori logici delle n proposizioni componenti, è una tautologia.
Esempio 1. Principio della doppia negazione (tautologia): ogni proposizione equivale alla negazione della sua negazione.
![](http://upload.wikimedia.org/wikipedia/commons/9/90/Doppia_negazione.png)
Esempio 2. Principio d'identità: ogni proposizione implica se stessa.
![](http://upload.wikimedia.org/wikipedia/commons/d/d2/Principio_di_identit%C3%A0.png)
Esempio 3. Principio del terzo escluso: ogni proposizione è vera o falsa.
![](http://upload.wikimedia.org/wikipedia/commons/8/86/Principio_del_terzo_escluso.png)
Esempio 4. : contraddizione.
- Ogni proposizione non può essere contemporaneamente vera o falsa.
- Qualche proprietà delle funzioni AND, OR e negazione.
- Nel seguito compaiono un certo numero di identità algebriche che legano le tre operazioni AND, OR e negazione (∧, ∨, -).
Esse si presentano sotto forma di tautologie e di contraddizioni che figurano in certe identità.
associativita dell'operazione OR | ||
associativita dell'operazione AND | ||
commutativita dell'operazione OR | ||
commutativita dell'operazione AND | ||
tautologia | ||
contraddizione | ||
distributiva di AND rispetto ad OR | ||
distributiva di OR rispetto ad AND | ||
principio di contraddizione | ||
principio del terzo escluso | ||
idempotenza diOR | ||
assorbimento | ||
assorbimento | ||
teorema di Morgan | ||
teorema di Morgan |
Esempi d'applicazione
[modifica | modifica sorgente]Nullità di un prodotto algebrico ordinario
[modifica | modifica sorgente]Nell'algebra ordinaria perché un prodotto m = a x b x c sia ≠ 0 è necessario e sufficiente che sia a ≠ 0, b ≠ 0, c ≠ 0.
Si ha dunque:
Inversamente perché sia m = 0:
Regole dei segni nell'algebra ordinaria
[modifica | modifica sorgente]Si consideri il prodotto M = a x b
La regola dei segni si scriverà:
Inversamente: