Lezione 5: Algebra di Boole

Presentazione sul tema: "Lezione 5: Algebra di Boole"— Transcript della presentazione:

1 Lezione 5: Algebra di Boole
Informatica I - UMG - G.Barbieri

2 Che cos’è? L'algebra di Boole (George Boole , uno dei fondatori della moderna logica simbolica, matematico inglese dell'University College di Cork) considera funzioni di variabili (o proposizioni) che possono assumere solo due valori logici: vero o falso A questi valori vengono generalmente associati i simboli: 1 (ad indicare il valore vero della variabile) 0 (ad indicare il valore falso della variabile) Informatica I - UMG - G.Barbieri

3 Le variabili e i loro valori
Le variabili, che quindi possono assumere solo due valori (0,1), si indicano con le lettere A,B,C,X,Y,W,Z. Informatica I - UMG - G.Barbieri

4 Informatica I - UMG - G.Barbieri
Funzioni booleane Le operazioni base, dette anche funzioni booleane, sono AND, OR, NOT di cui: AND e OR: sono dette operazioni binarie perché coinvolgono due (o più) variabili: A AND B A OR B NOT è detta operazione unaria perché coinvolge una ed una sola variabile: NOT (A) Informatica I - UMG - G.Barbieri

5 Funzioni booleane: NOT
Proposizione: “Barney sta bevendo” falso vero 1 Informatica I - UMG - G.Barbieri

6 Funzioni booleane: NOT
NOT “Barney sta bevendo” == “Barney non sta bevendo” falso vero 1 Informatica I - UMG - G.Barbieri

7 Informatica I - UMG - G.Barbieri
NOT: tabella di verità (A) NOT (A) 1 1 Informatica I - UMG - G.Barbieri

8 Funzioni booleane: AND
Studiare la proposizione “Barney E Homer stanno bevendo”, significa andare a valutare che ambedue stiano bevendo. E’ come se si analizzasse la veridicità delle seguenti proposizioni contemporaneamente: “Barney sta bevendo” AND “Homer sta bevendo” Informatica I - UMG - G.Barbieri

9 Funzioni booleane: AND
falso = 0 falso = 0 Barney E Homer stanno bevendo falso = 0 Informatica I - UMG - G.Barbieri

10 Funzioni booleane: AND
vero = 1 falso = 0 Barney E Homer stanno bevendo falso = 0 Informatica I - UMG - G.Barbieri

11 Funzioni booleane: AND
falso = 0 vero = 1 Barney E Homer stanno bevendo falso = 0 Informatica I - UMG - G.Barbieri

12 Funzioni booleane: AND
vero = 1 vero = 1 Barney E Homer stanno bevendo vero = 1 Informatica I - UMG - G.Barbieri

13 Informatica I - UMG - G.Barbieri
AND: tabella di verità (A) (B) (A) AND (B) 1 1 1 1 1 Informatica I - UMG - G.Barbieri

14 Informatica I - UMG - G.Barbieri
Funzioni booleane: OR Studiare la proposizione “Barney O Homer stanno bevendo”, significa andare a valutare che uno dei due stia bevendo. E’ come se si analizzasse la veridicità di una delle seguenti proposizioni: “Barney sta bevendo” OR “Homer sta bevendo” Informatica I - UMG - G.Barbieri

15 Informatica I - UMG - G.Barbieri
Funzioni booleane: OR falso = 0 falso = 0 Barney O Homer stanno bevendo falso = 0 Informatica I - UMG - G.Barbieri

16 Informatica I - UMG - G.Barbieri
Funzioni booleane: OR vero = 1 falso = 0 Barney O Homer stanno bevendo vero = 1 Informatica I - UMG - G.Barbieri

17 Informatica I - UMG - G.Barbieri
Funzioni booleane: OR falso = 0 vero = 1 Barney O Homer stanno bevendo vero = 1 Informatica I - UMG - G.Barbieri

18 Informatica I - UMG - G.Barbieri
Funzioni booleane: OR vero = 1 vero = 1 Barney O Homer stanno bevendo vero = 1 Informatica I - UMG - G.Barbieri

19 Informatica I - UMG - G.Barbieri
OR: tabella di verità (A) (B) (A) OR (B) 1 1 1 1 1 1 1 Informatica I - UMG - G.Barbieri

20 Simboli e ordine di valutazione
NOT: ( ¯ ), ( ¬ ) AND: ( • ), ( Λ ) OR: ( + ), ( V ) In una espressione di tipo booleana prima si valuta il NOT, successivamente l’AND e solo al termine l’operatore OR. Informatica I - UMG - G.Barbieri

21 Informatica I - UMG - G.Barbieri
Regole di De Morgan Informatica I - UMG - G.Barbieri

22 Informatica I - UMG - G.Barbieri
Regole di De Morgan X Y X•Y ¬(X•Y) ¬X ¬Y ¬X+¬Y 1 Informatica I - UMG - G.Barbieri

23 Informatica I - UMG - G.Barbieri
Teoremi fondamentali Identità 1 • X = X 0 + X = X Nullo 0 • X = 0 1 + X = 1 Idempotenza X • X = X X + X = X Inverso ¬X • X = 0 ¬X + X = 1 Commutativa X • Y = Y • X X + Y = Y + X Associativa (X • Y)• Z = X • (Y • Z) (X + Y) + Z = X + (Y + Z) Distributiva X • (Y + Z) = (X • Y)+(X • Z) X + (Y • Z) = (X + Y)•(X + Z) Assorbimento X • (X + Z) = X X + (X • Y) = X Informatica I - UMG - G.Barbieri

24 Algebra di commutazione
Not And Or A ¬A A ¬A A A Λ B B A A V B B Informatica I - UMG - G.Barbieri

25 Circuiti e reti logiche
Una funzione del tipo: Si potrebbe rappresentare nel seguente modo: A ¬A B ¬A Λ B C (¬A Λ B) V C Informatica I - UMG - G.Barbieri

26 Valutazione reti logiche
(¬A Λ B) V (C Λ A) A B C ¬A ¬A•B C • A (¬A•B)+(C • A) 1 A ¬A B ¬A Λ B C (¬A Λ B) V (C Λ A) Informatica I - UMG - G.Barbieri

27 Lezione 5: Algebra di Boole
Informatica I - UMG - G.Barbieri