Boole

Algebra di
Boole
Elementi di Informatica - Algebra di Boole 1  A. Valenzano 1996-2002

Sommario
• Variabili e funzioni booleane

• Tabelle di verità
• Operatori booleani
• Espressioni booleane
• Teoremi fondamentali dell’algebra di
Boole
• Semplificazione delle espressioni logi-
che

Variabili booleane
• Secondo Boole, il ragionamento è basato sulle
asserzioni, le quali assumono il valore Vero o Falso.
Esempio: oggi_piove. Introdusse così le variabili
logiche, che assumono due valori, T o F.
• Con le variabili logiche si possono modellare tutti i
fenomeni che assumono due valori, ad esempio i
circuiti di commutazione (ON e OFF), le cifre del
sistema binario (1 e 0), ecc.
• Useremo le variabili x1, x2, … , xn, che assumono valori
T o F, chiamandole variabili logiche o booleane.

Funzioni booleane
• Una funzione logica F(x1, x2,…,xn) associa ad
ogni n-pla xi un valore logico T o F.
• Ogni funzione può essere specificata per mez-

zo di una tabella di verità, che assegna ad ogni
combinazione di valori x1, x2,…,xn il valore
assunto dalla funzione F.

Tabelle di verità
Per ogni combinazione delle variabili indipen-
denti si riporta il valore di F.
Esempio: F(x,y,z)
x y z F
0 0 0 1
0 0 1 0
0 1 0 0
0 1 1 1
1 0 0 1
1 0 1 1
1 1 0 0
1 1 1 1
Numero di funzioni booleane
• Con n variabili si possono avere 2n combina-

zioni. Poiché una funzione può assumere solo
2 valori il numero di possibili funzioni diverse è
dato da:
2n
m=2

Numero di funzioni booleane (2)
• Infatti:
x1 x2 … xn F0 F1 F2 Fm-1
0 0 0 0 1 0 1
1 0 0 0 0 1 1
0 1 0 0 0 0 1
……………………………….
1 1 1 0 0 0 1

Tipi di funzioni booleane
• Completamente specificate: viene indicato il

valore di F per ogni combinazione delle varia-
bili indipendenti.
• Non completamente specificate: il valore di F
non è definito per una o più combinazioni
delle variabili indipendenti.
Nota: il valore di F per le combinazioni non spe-

cificate è detto "don't care" ed è indicato con "-"
sulla tabella di verità.
Funzioni completamente
specificate
• Esempio: In una stazione, il treno parte se e solo se il
semaforo è verde e il capostazione ha dato il via.
Variabili logiche:
S: vale 1 (= vero) se il semaforo è verde
C: vale 1 (= vero) se il capostazione ha dato il via
Funzione:
T: vale 1 (= vero) se il treno parte

specificate (2)
Tavola di verità (completamente
specificata):
S C T
0 0 0
0 1 0
1 0 0
1 1 1

specificate (3)
• Altro esempio: Un allievo del Politecnico si
laurea se ha superato tutti gli esami e se ha
svolto una tesi di laurea oppure una prova di
sintesi.
Variabili:
E: vale 1 se l’allievo ha superato tutti gli
esami
T: vale 1 se ha svolto la tesi
S: vale 1 se ha svolto la sintesi
Funzione:
L: vale 1 se si laurea

specificate (4)
Tavola di verità:
E T S L
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 1

Funzioni non completamente
specificate
Si osservi che, nella realtà del Poli,
• non si può dare la tesi o la sintesi senza aver
prima superato tutti gli esami (combinazioni 2
e 4)
• non viene assegnata la sintesi, se l’allievo
svolge la tesi (combinazioni 3 e 8)
Per queste combinazioni si può non
assegnare un valore alla funzione (funzione
non completamente specificata). Per le
combinazioni che non accadono mai, si usa il
valore don’t care.

Funzioni non completamente
specificate (2)
Tavola di verità:
E T S L
0 0 0 0
0 0 1 -
0 1 0 -
0 1 1 -
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 -

Operatori booleani
• Rappresentano le operazioni basilari dell'al-
gebra di Boole.
• Le loro funzioni possono essere realizzate
tramite circuiti elettronici elementari talora
detti porte o porte logiche.
• Possono essere definiti tramite tabelle di
verità.
• Tutte le funzioni più complesse sono otte-
nute tramite opportune combinazioni di tali
operatori.

Operatore AND
E' anche detto "prodotto logico":
Simbolo logico
Tavola della verità

x
y
x y x AND y
0 0 0 Notazioni
0 1 0 xy
1 0 0
xy
1 1 1
xy
x AND y
Operatore OR
E' anche detto "somma logica":
Simbolo logico
x
x y x OR y y
0 0 0
0 1 1 Notazioni:
1 0 1 xy
1 1 1
xy
x OR y

Operatore NOT
E' anche detto "negazione":
Simbolo logico
x
x NOT x
0 1
1 0 Notazioni:
x
~x
NOT x

Operatore NAND
Tavola della verità Simbolo logico

x
x y x NAND y
y
0 0 1
0 1 1
Notazioni
1 0 1
xy
1 1 0
~ (x  y)
xy
x NAND y
Operatore NOR
Tavola della verità Simbolo logico

x
x y x NOR y
y
0 0 1
0 1 0
Notazioni:
1 0 0
1 1 0 xy
~ (x  y)
x NOR y

Operatore EX-OR
E' anche detto "or esclusivo":
Simbolo logico
x
x y x EX-OR y y
0 0 0
0 1 1 Notazioni:
1 0 1 xy
1 1 0
xy
x EXOR y

Espressioni logiche
• Sono espressioni che combinano variabili

booleane tramite gli operatori logici
• Espressioni equivalenti: E1 ed E2 sono equi-
valenti se
• per tutte le combinazioni delle variabili in-
dipendenti per cui E1 = 1 anche E2 = 1 e
dipendenti per cui E1 = 0 anche E2 = 0

Espressioni equivalenti
Esempio di equazioni equivalenti:
Impossibile v isualizzare l'immagine.
Ta  xz  x yz
Tb  xz  yz
Ta  Tb

Espressioni equivalenti (2)
_
x y z xz xyz yz Ta Tb
0 0 0 0 0 0 0 0
0 0 1 0 0 0 0 0
0 1 0 0 0 0 0 0
0 1 1 0 1 1 1 1
1 0 0 0 0 0 0 0
1 0 1 1 0 0 1 1
1 1 0 0 0 0 0 0
1 1 1 1 0 1 1 1

Espressioni complementari
E1 ed E2 sono complementari se:

dipendenti per cui E1 = 1 risulta E2 = 0 e
dipendenti per cui E1 = 0 risulta E2 = 1
Nota: se due espressioni sono complementari

E1 = E2

Espressioni complementari (2)
Esempio di funzioni complementari:
Ta  x y  x y
Tb  x y  xy
Ta  Tb

Espressioni complementari (3)
_ _ __
x y xy xy xy xy Ta Tb
0 0 0 0 1 0 0 1
0 1 0 1 0 0 1 0
1 0 1 0 0 0 1 0
1 1 0 0 0 1 0 1

Espressioni duali
• E2 è duale di E1 se può essere ottenuta da E1:

• sostituendo l'operatore OR con l'operatore
AND e viceversa (tenendo conto delle pre-
cedenze degli operatori in E1 !!);
• sostituendo il valore 0 con il valore 1 e vi-
ceversa.
Regola di complementazione: l'espressione com-
plementare di E1 può essere ottenuta dalla sua dua-
le E2 complementando tutte le variabili in E2.

Esempi di espressioni booleane
F(a,b,c) = a  (b + c) Fd = a + (b c) F = a + (b c)

a b c F Fd F
0 0 0 0 0 1
0 0 1 0 0 1
0 1 0 0 0 1
0 1 1 0 1 1
1 0 0 0 1 1
1 0 1 1 1 0
1 1 0 1 1 0
1 1 1 1 1 0
Teoremi dell’algebra booelana
• Possono essere dimostrati per induzio-

ne completa (verifica della validità per
ogni combinazione delle variabili indi-
pendenti).
• Dato un teorema esiste il teorema
duale.
• Se è dimostrata la validità di un teore-
ma è dimostrata anche la validità del
teorema duale.

Principali teoremi
a) X  0  0
Duale : X  1  1
b) X 1  X
Duale : X  0  X
c) X  X  X
Duale : X  X  X
d)X  X  0
Duale : X  X  1
Principali teoremi (2)
e) X  Y  Y  X _ propr. _ commutativa
Duale : X  Y  Y  X
f ) X  Y  Z  ( X  Y )  Z  X  (Y  Z ) _ propr. _ assoc.
Duale : X  Y  Z  ( X  Y )  Z  X  (Y  Z )
g ) X  Y  ...  Z  X  Y  ...  Z _ teorema _ DeMorgan
Duale : X  Y  ...  Z  X  Y  ...  Z
h) X  Y  X  Z  X  (Y  Z ) _ propr. _ distributiva
Duale : ( X  Y )  ( X  Z )  X  Y  Z

i ) X  X  Y  X _ teorema _ dell ' inclusione
Duale : X  ( X  Y )  X
j ) X  Y  X  Y  X _ teor. fusione _ diretta
Duale : ( X  Y )  ( X  Y )  X
k ) X  X Y  X  Y
Duale : X  ( X  Y )  X  Y
l )Z  X  Z  X  Y  Z  X  Z  Y
Duale : ( Z  X )  ( Z  X  Y )  ( Z  X )  ( Z  Y )
m) X  Y  X  Z  Y  Z  X  Y  X  Z
Duale : ( X  Y )  ( X  Z )  (Y  Z )  ( X  Y )  ( X  Z )
n) X  Y  X  Z  ( X  Z )  ( X  Y )
Duale : ( X  Y )  ( X  Z )  X  Z  X  Y
o) X  f ( X , X , Y ,..., Z )  X  f (1,0, Y ,..., Z )
Duale : X  f ( X , X , Y ,..., Z )  X  f (0,1, Y ,..., Z )

p) f ( X , X , Y ,..., Z )  X  f (1,0, Y ,..., Z )  X  f (0,1, Y ,..., Z )

Duale : f ( X , X , Y ,..., Z )  ( X  f (0,1, Y ,..., Z )  ( X  f (1,0, Y ,..., Z )
q ) f ( X , Y ,..., Z ,,)  f ( X , Y ,..., Z ,,) _ deMorgan _ generalizzato

Espressione che rappresenta
una funzione
Problema: una luce L deve essere
accesa / spenta da due interruttori
separati A e B. Tavola di verità della
funzione L:
A B L
0 0 0
0 1 1
1 0 1
1 1 0

una funzione (2)
Si consideri l’espressione T data come:
_ _
T = AB+AB
La tavola di verità è:
_ _
A B AB AB T
0 0 0 0 0
0 1 1 0 1
1 0 0 1 1
1 1 0 0 0

una funzione (3)
L e T si comportano allo stesso modo riga per riga: si
dice che T “rappresenta” L.
Regola: si considerano le combinazioni per cui la

funzione vale 1.
L’espressione avrà tanti termini in OR quanti sono gli 1
della funzione.
Ogni termine contiene tutte le variabili in AND. Una
variabile sarà affermata se nella combinazione quella
variabile vale 1, sarà negata se la variabile vale 0.
L’espressione ottenuta sarà quindi nella forma somma
di prodotti (min-term).

Semplificazione delle espressioni
booleane
•I teoremi fondamentali possono essere
impiegati per semplificare le espres-
sioni usate per specificare le funzioni
booleane.
• Se una funzione non è completamente
specificata si possono utilizzare le com-
binazioni di "don't care" per semplificar-
ne l'espressione.

Semplificazione delle
espressioni booleane (2)
Regola per la semplificazione:
• si confronta ciascun termine con tutti i
successivi;
• se i due termini confrontati contengono le
stesse lettere e nei due termini c’è una sola
differenza di una lettera che in un termine è
affermata e nell’altra è negata, si applica il
teorema:
_
xY + xY = Y

Semplificazione delle
espressioni booleane (3)
• i due termini utilizzati nella fusione si
marcano come utilizzati;
• se alla fine ci sono termini non utilizzati in
nessuna fusione (non marcati), si riportano
nell’espressione finale;
• si ripete il tentativo di fusione
nell’espressione ottenuta, fino a quando, ad
una passata, non si sono effettuate più
fusioni.
L’espressione ottenuta è minima (si possono
eventualmente applicare altri teoremi, per
migliorare la forma).

Esempi di semplificazione
Tavola di verità di “al Poli ci si laurea”:

E T S L
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 1

Esempi di semplificazione (2)
L  ET S  ET S  ETS 
ES (T  T )  ET ( S  S ) 
ES  ET 
E (S  T )
x y z F
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 -

a) don't care = 0
F  x yz  x yz  x yz  x yz 

 x  z  ( y  y )  y  z  ( x  x)  x  y  z 
 xz  yz  x yz 
 z  ( x  y)  x  y  z

a) don't care = 1
F  x yz  x yz  x yz  x yz  x yz 

 x  z  ( y  y )  y  z  ( x  x)  y  z  ( x  x)  x  z  ( y  y ) 
 x  y  ( z  z) 
 xz  yz  yz  xz  x y 
 z  ( x  x)  z  ( y  y )  x  y 
 z  z  x y  z  x y

Realizzazioni circuitali
A A
B B
C C
D D
Infatti
(A·B)·(C·D) = A·B + C·D = A·B + C·D

Esempio: full adder
La somma S di 2 numeri binari A e B di n bit

può essere ricondotta a n somme elementari
di 3 bit tenendo conto che:
• ak, bk sono i bit di peso k di A e B
• sk è il k-esimo bit di S
• rk è il riporto generato dalla somma dei bit
di peso k-1, k-2, ... 0 di A e B.
• r-1 = 0
Full adder: tabelle di verità
Si possono ricavare le tabelle di verità di
sk e rk in funzione di ak , bk e rk-1
ak bk rk-1 sk rk
0 0 0 0 0
0 0 1 1 0
0 1 0 1 0
0 1 1 0 1
1 0 0 1 0
1 0 1 0 1
1 1 0 0 1
1 1 1 1 1
Full adder: espressioni
booleane
ak bk rk-1 sk rk
0 0 0 0 0 akbkrk-1
0 0 1 1 0
0 1 0 1 0
akbkrk-1 akbkrk-1
0 1 1 0 1
1 0 0 1 0
akbkrk-1
1 0 1 0 1 akbkrk-1
1 1 0 0 1 akbkrk-1
1 1 1 1 1
akbkrk-1
akbkrk-1
Full adder: semplificazione
delle espressioni
Le espressioni di sk e rk sono date da:
sk  a k b k rk 1  a k bk r k 1  ak b k r k 1  ak bk rk 1 
 rk 1 (a k b k  ak bk )  r k 1 (a k bk  ak b k ) 
 rk 1 (ak  bk )  r k 1 (ak  bk ) 
 rk 1  ak  bk
rk  a k bk rk 1  ak b k rk 1  ak bk r k 1  ak bk rk 1 
 bk rk 1  ak rk 1  ak bk 
 rk 1 (ak  bk )  ak bk
Full adder: struttura a blocchi
Le funzioni che forniscono sk ed rk possono
essere realizzate in un unico circuito elettronico
(full adder):
an bn rn-1 an-1bn-1rn- a0 b0 0
carry
2
rn sn rn- sn-1 r0 s0
1
Esempio (I)
Problema (tema di esame del 27/2/96):
Si considerino due valori A = a1a0 e
B = b1b0 espressi in complemento a 2 su 2 bit.
Scrivere l’espressione di una funzione
booleana F che è vera se e solo se A = -B
Soluzione:
conviene considerare i bit che
costituiscono A e B come variabili
indipendenti e scrivere la funzione come
F (a0,a1,b0,b1).

Esempio (II)
a1 a0 b1 b0 A B F
0 0 0 0 0 0 1
0 0 0 1 0 1 0
0 0 1 0 0 -2 0
0 0 1 1 0 -1 0
0 1 0 0 1 0 0
0 1 0 1 1 1 0
0 1 1 0 1 -2 0
0 1 1 1 1 -1 1
1 0 0 0 -2 0 0
1 0 0 1 -2 1 0
1 0 1 0 -2 -2 0
1 0 1 1 -2 -1 0
1 1 0 0 -1 0 0
1 1 0 1 -1 1 1
1 1 1 0 -1 -2 0
1 1 1 1 -1 -1 0
F = a1a0b1b0 + a1a0b1b0 + a1a0b1b0

Esempio (III)
Semplificazione di F:
F = a1a0b1b0 + a1a0b1b0 + a1a0b1b0 =
= a1a0b1b0 + a0b0 (a1b1 + a1b1) =
= a1a0b1b0 + a0b0 (a1 + b1)

Boole

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Boole

Titolo originale:

Caricato da

Copyright:

Algebra di

Elementi di Informatica - Algebra di Boole 1  A. Valenzano 1996-2002

• Variabili e funzioni booleane

Elementi di Informatica - Algebra di Boole 2  A. Valenzano 1996-2002

Elementi di Informatica - Algebra di Boole 3  A. Valenzano 1996-2002

• Ogni funzione può essere specificata per mez-

Elementi di Informatica - Algebra di Boole 4  A. Valenzano 1996-2002

• Con n variabili si possono avere 2n combina-

Elementi di Informatica - Algebra di Boole 6  A. Valenzano 1996-2002

Elementi di Informatica - Algebra di Boole 7  A. Valenzano 1996-2002

• Completamente specificate: viene indicato il

Nota: il valore di F per le combinazioni non spe-

Elementi di Informatica - Algebra di Boole 9  A. Valenzano 1996-2002

Elementi di Informatica - Algebra di Boole 10  A. Valenzano 1996-2002

Elementi di Informatica - Algebra di Boole 11  A. Valenzano 1996-2002

Elementi di Informatica - Algebra di Boole 12  A. Valenzano 1996-2002

Elementi di Informatica - Algebra di Boole 13  A. Valenzano 1996-2002

Elementi di Informatica - Algebra di Boole 14  A. Valenzano 1996-2002

Elementi di Informatica - Algebra di Boole 15  A. Valenzano 1996-2002

Tavola della verità

Elementi di Informatica - Algebra di Boole 17  A. Valenzano 1996-2002

Elementi di Informatica - Algebra di Boole 18  A. Valenzano 1996-2002

Tavola della verità Simbolo logico

Tavola della verità Simbolo logico

Elementi di Informatica - Algebra di Boole 20  A. Valenzano 1996-2002

Elementi di Informatica - Algebra di Boole 21  A. Valenzano 1996-2002

• Sono espressioni che combinano variabili

Elementi di Informatica - Algebra di Boole 22  A. Valenzano 1996-2002

Elementi di Informatica - Algebra di Boole 23  A. Valenzano 1996-2002

Elementi di Informatica - Algebra di Boole 24  A. Valenzano 1996-2002

E1 ed E2 sono complementari se:

Nota: se due espressioni sono complementari

Elementi di Informatica - Algebra di Boole 25  A. Valenzano 1996-2002

Esempio di funzioni complementari:

Elementi di Informatica - Algebra di Boole 26  A. Valenzano 1996-2002

Elementi di Informatica - Algebra di Boole 27  A. Valenzano 1996-2002

• E2 è duale di E1 se può essere ottenuta da E1:

Elementi di Informatica - Algebra di Boole 28  A. Valenzano 1996-2002

F(a,b,c) = a  (b + c) Fd = a + (b c) F = a + (b c)

• Possono essere dimostrati per induzio-

Elementi di Informatica - Algebra di Boole 30  A. Valenzano 1996-2002

Elementi di Informatica - Algebra di Boole 32  A. Valenzano 1996-2002

Elementi di Informatica - Algebra di Boole 34  A. Valenzano 1996-2002

p) f ( X , X , Y ,..., Z )  X  f (1,0, Y ,..., Z )  X  f (0,1, Y ,..., Z )

Elementi di Informatica - Algebra di Boole 35  A. Valenzano 1996-2002

Elementi di Informatica - Algebra di Boole 36  A. Valenzano 1996-2002

Elementi di Informatica - Algebra di Boole 37  A. Valenzano 1996-2002

Regola: si considerano le combinazioni per cui la

Elementi di Informatica - Algebra di Boole 38  A. Valenzano 1996-2002

Elementi di Informatica - Algebra di Boole 39  A. Valenzano 1996-2002

Elementi di Informatica - Algebra di Boole 40  A. Valenzano 1996-2002

Elementi di Informatica - Algebra di Boole 41  A. Valenzano 1996-2002

Tavola di verità di “al Poli ci si laurea”:

Elementi di Informatica - Algebra di Boole 42  A. Valenzano 1996-2002

Elementi di Informatica - Algebra di Boole 44  A. Valenzano 1996-2002

F  x yz  x yz  x yz  x yz 

Elementi di Informatica - Algebra di Boole 45  A. Valenzano 1996-2002

F  x yz  x yz  x yz  x yz  x yz 

Elementi di Informatica - Algebra di Boole 46  A. Valenzano 1996-2002

(A·B)·(C·D) = A·B + C·D = A·B + C·D

La somma S di 2 numeri binari A e B di n bit

Elementi di Informatica - Algebra di Boole 53  A. Valenzano 1996-2002

F = a1a0b1b0 + a1a0b1b0 + a1a0b1b0

F = a1a0b1b0 + a1a0b1b0 + a1a0b1b0 =

= a1a0b1b0 + a0b0 (a1b1 + a1b1) =