Algebra di Boole. George Boole (1815-1864) (1815-1864)

60
Algebra di Algebra di Boole Boole

Transcript of Algebra di Boole. George Boole (1815-1864) (1815-1864)

Page 1: Algebra di Boole. George Boole (1815-1864) (1815-1864)

Algebra di BooleAlgebra di BooleAlgebra di BooleAlgebra di Boole

Page 2: Algebra di Boole. George Boole (1815-1864) (1815-1864)

George BooleGeorge Boole(1815-1864)(1815-1864)

George BooleGeorge Boole(1815-1864)(1815-1864)

Page 3: Algebra di Boole. George Boole (1815-1864) (1815-1864)

FALSOVERO

L’Algebra di BooleL’Algebra di BooleL’Algebra di BooleL’Algebra di Boole

due costanti 0 e 1due costanti 0 e 1

Variabili binarie di valore 0 oppure 1Variabili binarie di valore 0 oppure 1

Tre operatori:Tre operatori: addizioneaddizione moltiplicazionemoltiplicazione complementazionecomplementazione

Page 4: Algebra di Boole. George Boole (1815-1864) (1815-1864)

L’aritmetica degli elefantiL’aritmetica degli elefantiL’aritmetica degli elefantiL’aritmetica degli elefanti

Page 5: Algebra di Boole. George Boole (1815-1864) (1815-1864)

Le tre operazioni Le tre operazioni fondamentalifondamentali

AddizioneAddizione

Le tre operazioni Le tre operazioni fondamentalifondamentali

AddizioneAddizione

Page 6: Algebra di Boole. George Boole (1815-1864) (1815-1864)

Le tre operazioni Le tre operazioni fondamentalifondamentali

AddizioneAddizione

Le tre operazioni Le tre operazioni fondamentalifondamentali

AddizioneAddizione

Page 7: Algebra di Boole. George Boole (1815-1864) (1815-1864)

Le tre operazioni Le tre operazioni fondamentalifondamentaliMoltiplicazioneMoltiplicazione

Le tre operazioni Le tre operazioni fondamentalifondamentaliMoltiplicazioneMoltiplicazione

Page 8: Algebra di Boole. George Boole (1815-1864) (1815-1864)

Le tre operazioni Le tre operazioni fondamentalifondamentaliMoltiplicazioneMoltiplicazione

Le tre operazioni Le tre operazioni fondamentalifondamentaliMoltiplicazioneMoltiplicazione

Page 9: Algebra di Boole. George Boole (1815-1864) (1815-1864)

Le tre operazioni Le tre operazioni fondamentalifondamentali

ComplementazioneComplementazione(cambia il valore)(cambia il valore)

Le tre operazioni Le tre operazioni fondamentalifondamentali

ComplementazioneComplementazione(cambia il valore)(cambia il valore)

Page 10: Algebra di Boole. George Boole (1815-1864) (1815-1864)

Circuiti logici e interruttoriCircuiti logici e interruttoriAND OR NOTAND OR NOT

Circuiti logici e interruttoriCircuiti logici e interruttoriAND OR NOTAND OR NOT

GeneratoreLampadina

elettroni

Interruttore chiuso

Page 11: Algebra di Boole. George Boole (1815-1864) (1815-1864)

Circuiti logici e interruttoriCircuiti logici e interruttoriAND OR NOTAND OR NOT

Circuiti logici e interruttoriCircuiti logici e interruttoriAND OR NOTAND OR NOT

GeneratoreLampadina

elettroni

Interruttore aperto

Page 12: Algebra di Boole. George Boole (1815-1864) (1815-1864)

Circuiti logici e interruttoriCircuiti logici e interruttoriOROR

Circuiti logici e interruttoriCircuiti logici e interruttoriOROR

GeneratoreLampadina

GeneratoreLampadina

Page 13: Algebra di Boole. George Boole (1815-1864) (1815-1864)

Circuiti logici e interruttoriCircuiti logici e interruttoriANDAND

Circuiti logici e interruttoriCircuiti logici e interruttoriANDAND

GeneratoreLampadina

GeneratoreLampadina

Page 14: Algebra di Boole. George Boole (1815-1864) (1815-1864)

Circuiti logici e interruttoriCircuiti logici e interruttoriOROR

Circuiti logici e interruttoriCircuiti logici e interruttoriOROR

GeneratoreLampadina

0

1

1

1

Page 15: Algebra di Boole. George Boole (1815-1864) (1815-1864)

Circuiti logici e interruttoriCircuiti logici e interruttoriCircuiti logici e interruttoriCircuiti logici e interruttori

GeneratoreLampadina

A B

Page 16: Algebra di Boole. George Boole (1815-1864) (1815-1864)

Circuiti logici e interruttoriCircuiti logici e interruttoriCircuiti logici e interruttoriCircuiti logici e interruttori

GeneratoreLampadina

Page 17: Algebra di Boole. George Boole (1815-1864) (1815-1864)

Tubi elettronici e Tubi elettronici e TransistorTransistor

Tubi elettronici e Tubi elettronici e TransistorTransistor

Emettitore

Collettore

Base

Page 18: Algebra di Boole. George Boole (1815-1864) (1815-1864)

Un transistoreUn transistoreUn transistoreUn transistore

Base

CollettoreEmettitore

Page 19: Algebra di Boole. George Boole (1815-1864) (1815-1864)

Off

TransistoreTransistoreTransistoreTransistore

On

Page 20: Algebra di Boole. George Boole (1815-1864) (1815-1864)

I circuiti per attuare I circuiti per attuare l’aritmetica degli elefantil’aritmetica degli elefanti

I circuiti per attuare I circuiti per attuare l’aritmetica degli elefantil’aritmetica degli elefanti

OR AND NOT

Page 21: Algebra di Boole. George Boole (1815-1864) (1815-1864)

I circuiti per attuare I circuiti per attuare l’aritmetica degli elefantil’aritmetica degli elefanti

I circuiti per attuare I circuiti per attuare l’aritmetica degli elefantil’aritmetica degli elefanti

A

B

C

Page 22: Algebra di Boole. George Boole (1815-1864) (1815-1864)

AddizioneAddizioneAddizioneAddizione

Page 23: Algebra di Boole. George Boole (1815-1864) (1815-1864)

MoltiplicazioneMoltiplicazioneMoltiplicazioneMoltiplicazione

A

B

C

Page 24: Algebra di Boole. George Boole (1815-1864) (1815-1864)

MoltiplicazioneMoltiplicazioneMoltiplicazioneMoltiplicazione

Page 25: Algebra di Boole. George Boole (1815-1864) (1815-1864)

ComplementazioneComplementazioneComplementazioneComplementazione

A B

Page 26: Algebra di Boole. George Boole (1815-1864) (1815-1864)
Page 27: Algebra di Boole. George Boole (1815-1864) (1815-1864)

Ma perché gli uomini chiamano logica la nostra matematica

Page 28: Algebra di Boole. George Boole (1815-1864) (1815-1864)

Addizione logicaAddizione logicaAddizione logicaAddizione logica

Page 29: Algebra di Boole. George Boole (1815-1864) (1815-1864)

Addizione logicaAddizione logicaAddizione logicaAddizione logica

Page 30: Algebra di Boole. George Boole (1815-1864) (1815-1864)

Prodotto logicoProdotto logicoProdotto logicoProdotto logico

Page 31: Algebra di Boole. George Boole (1815-1864) (1815-1864)

Prodotto logicoProdotto logicoProdotto logicoProdotto logico

Page 32: Algebra di Boole. George Boole (1815-1864) (1815-1864)

Complementazione logicaComplementazione logicaComplementazione logicaComplementazione logica

Page 33: Algebra di Boole. George Boole (1815-1864) (1815-1864)

AddizioneAddizione

Impermeabile = Pioggia + Impermeabile = Pioggia + FreddoFreddo

AddizioneAddizione

Impermeabile = Pioggia + Impermeabile = Pioggia + FreddoFreddo

Page 34: Algebra di Boole. George Boole (1815-1864) (1815-1864)

MoltiplicazioneMoltiplicazione

Taxi = Pioggia * SoldiTaxi = Pioggia * Soldi

MoltiplicazioneMoltiplicazione

Taxi = Pioggia * SoldiTaxi = Pioggia * Soldi

Page 35: Algebra di Boole. George Boole (1815-1864) (1815-1864)

ComplementazioneComplementazione

Gelato = FreddoGelato = Freddo

ComplementazioneComplementazione

Gelato = FreddoGelato = Freddo

Page 36: Algebra di Boole. George Boole (1815-1864) (1815-1864)

Tram = Lontano * SoldiTram = Lontano * SoldiTram = Lontano * SoldiTram = Lontano * Soldi

Page 37: Algebra di Boole. George Boole (1815-1864) (1815-1864)

MatrimonioMatrimonio==

(SoldiLui + SoldiLei) * (SoldiLui + SoldiLei) * LuiamaLei * LeiamaLuiLuiamaLei * LeiamaLui

MatrimonioMatrimonio==

(SoldiLui + SoldiLei) * (SoldiLui + SoldiLei) * LuiamaLei * LeiamaLuiLuiamaLei * LeiamaLui

Page 38: Algebra di Boole. George Boole (1815-1864) (1815-1864)

Come opera un motore di Come opera un motore di ricerca ?ricerca ?

Come opera un motore di Come opera un motore di ricerca ?ricerca ?

Page 39: Algebra di Boole. George Boole (1815-1864) (1815-1864)

Le tecniche di ricerca più Le tecniche di ricerca più avanzateavanzate

Le tecniche di ricerca più Le tecniche di ricerca più avanzateavanzate

Se scrivete monna lisa trovate anche Monna lisa

Page 40: Algebra di Boole. George Boole (1815-1864) (1815-1864)

Le tecniche di ricerca più Le tecniche di ricerca più avanzateavanzate

I simboli + e - I simboli + e -

Le tecniche di ricerca più Le tecniche di ricerca più avanzateavanzate

I simboli + e - I simboli + e -

Page 41: Algebra di Boole. George Boole (1815-1864) (1815-1864)

Le tecniche di ricerca più Le tecniche di ricerca più avanzateavanzate

Caratteri di troncatura (Wildcards)Caratteri di troncatura (Wildcards)

Le tecniche di ricerca più Le tecniche di ricerca più avanzateavanzate

Caratteri di troncatura (Wildcards)Caratteri di troncatura (Wildcards)simbolo * che ritrova l'insieme dei caratteri di qualunque

lunghezza

simbolo ? per un singolo carattere.

Depress* = Depression, Depressive, Depressed

CAT* = Catalizzatore, Cat, Cats

Sm?Th = Smith, Smyth

Page 42: Algebra di Boole. George Boole (1815-1864) (1815-1864)

Gli operatori dell’espressione Gli operatori dell’espressione booleanabooleana

Gli operatori dell’espressione Gli operatori dell’espressione booleanabooleana

Page 43: Algebra di Boole. George Boole (1815-1864) (1815-1864)

Interpretazione logica degli Interpretazione logica degli operatorioperatori

Interpretazione logica degli Interpretazione logica degli operatorioperatoriSe si ha una operazione del tipo:

A * B (* indica una generica operazione),

il risultato è vero se:

* condizione

OR A o B (o entrambe) sono vere

AND sia A che B sono vere

XOR A o B (ma non entrambe) sono vere

Page 44: Algebra di Boole. George Boole (1815-1864) (1815-1864)

ORORA o B (o entrambe) sono vereA o B (o entrambe) sono vere

OR - VEL - O   ( INCLUSIVO)Restituisce la condizione di verità se almeno uno dei suoi ingressi è veroEquivale alla somma logica. Infatti: 1+1=10  1+0=1   0+1=1  0+0=0

A B A or B

V V V

V F V

F V V

F F FRappresentazione insiemistica Diagramma di Carrol

Page 45: Algebra di Boole. George Boole (1815-1864) (1815-1864)

ANDANDsia A che B sono veresia A che B sono vere

AND - E Restituisce la condizione di verità solo se tutti i suoi ingressi sono veri.Equivale al prodotto logico. Infatti: 1x1=1  1x0=0   0x1=0  0x0=0

A B A and B

V V V

V F F

F V F

F F F

Porta logica

Page 46: Algebra di Boole. George Boole (1815-1864) (1815-1864)

NotNot

NOT - NON  (NEGAZIONE)Se l' ingresso è VERO l' uscita è FALSA e viceversa

A Ã

V F

F V

Page 47: Algebra di Boole. George Boole (1815-1864) (1815-1864)

XORXORA o B (ma non entrambe) sono vereA o B (ma non entrambe) sono vere

A B A xor B

V V F

V F V

F V V

F F F

XOR - AUT - O   (ESCLUSIVO) Restituisce la condizione di verità se solo uno dei suoi ingerssi è vero.Equivale alla somma logica senza riporto. Infatti: 1+1=10  1+0=1  0+1=1  0+0=0

Page 48: Algebra di Boole. George Boole (1815-1864) (1815-1864)

Gli operatori dell’espressione Gli operatori dell’espressione booleanabooleana

Gli operatori dell’espressione Gli operatori dell’espressione booleanabooleana

Page 49: Algebra di Boole. George Boole (1815-1864) (1815-1864)

Ricerche complesse sulla Ricerche complesse sulla reterete

Ricerche complesse sulla Ricerche complesse sulla reterete

Palermo

Page 50: Algebra di Boole. George Boole (1815-1864) (1815-1864)

La prima richiestaLa prima richiestaLa prima richiestaLa prima richiesta

Page 51: Algebra di Boole. George Boole (1815-1864) (1815-1864)

PalermoPalermoPalermoPalermo

Page 52: Algebra di Boole. George Boole (1815-1864) (1815-1864)

PalermoPalermoPalermoPalermo

Page 53: Algebra di Boole. George Boole (1815-1864) (1815-1864)

PalermoPalermoPalermoPalermo

Page 54: Algebra di Boole. George Boole (1815-1864) (1815-1864)

La finestra delle ricerche La finestra delle ricerche avanzateavanzate

La finestra delle ricerche La finestra delle ricerche avanzateavanzate

Page 55: Algebra di Boole. George Boole (1815-1864) (1815-1864)

Non c’è solo AltavistaNon c’è solo AltavistaIndici di reteIndici di rete

Non c’è solo AltavistaNon c’è solo AltavistaIndici di reteIndici di rete

Page 56: Algebra di Boole. George Boole (1815-1864) (1815-1864)
Page 57: Algebra di Boole. George Boole (1815-1864) (1815-1864)
Page 58: Algebra di Boole. George Boole (1815-1864) (1815-1864)

Non c’è solo AltavistaNon c’è solo AltavistaMotori di ricercaMotori di ricerca

Non c’è solo AltavistaNon c’è solo AltavistaMotori di ricercaMotori di ricerca

Page 59: Algebra di Boole. George Boole (1815-1864) (1815-1864)
Page 60: Algebra di Boole. George Boole (1815-1864) (1815-1864)