Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Indice
Algebra booleana
– operatori logici
– espressioni logiche
– teoremi fondamentali
– tabelle di verità
– forme canoniche
– circuiti logici
– mappe di Karnaugh
Esercizi
a b c S
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 1
1 1 0 0
1 1 1 1
F2 = a b + c( d + a e) ⋅ c ⊕ e
12) z ⋅ x + z ⋅ x ⋅ _y = z ⋅ x + z ⋅ y duale
( z + x) ⋅ ( z + x+ y) = ( z + x) ⋅ ( z + y)
_ _
13) x ⋅ y + x⋅ z_ + y ⋅ z = x ⋅ y + x⋅ z duale
_
( x + y) ⋅ ( x+ z) ⋅ ( y + z) = ( x + y) ⋅ ( x+ z)
_ _
14) x ⋅ y + x⋅ z_ = ( x + z ) ⋅ ( x +_ y ) duale
( x + y ) ⋅ ( x + z ) = x ⋅ z + x⋅ y
_
15) x ⋅ F ( x, x, y ,K, z ) = x ⋅ F (1,0, y ,K, z )
_
duale x + F ( x, x, y ,K, z ) = x + F (0,1, y ,K, z )
_
16) F (_x, x, y ,K, z ) = x ⋅ F (1,0, y ,K, z ) +
+ x⋅ F (0,1, y ,K, z ) duale
_
F (_ x, x, y ,K, z ) = [ x + F (0,1, y ,K, z )] ⋅
⋅ [ x + F (1,0, y ,K, z )]
Fondamenti di Informatica IV.23
Teoremi dell’algebra di
Boole
Nei teoremi precedentemente
elencati x, y e z possono essere
considerate sia come singole
variabili sia come espressioni
logiche
Esempio
dalla regola 1 si ricava:
( A + B) ⋅ 0 = 0
considerando (A+B) al posto di x
2) ( X + Y ) XY + Z
YX ⋅ X + Z
Y ⋅0 + Z = Z
Sommare i minterm
Scrittura della forma canonica PS
data la tabella
Per ciascuna delle righe della tabella in
cui la funzione ha risultato 0:
» scrivere una somma di tutte le variabili
» per ciascuna delle variabili della somma:
negarla se nella tabella ha valore 1
Moltiplicare i maxterm
Fondamenti di Informatica IV.29
Forme canoniche delle
espressioni
Esempio
abc F
000 0
001 1
010 1 a bc
011 0
100 1
101 1
110 0
111 0 (a + b + c)
Risultati
SP: F ( a, b, c ) = a bc + abc + a bc + a bc
PS: F (a, b, c) = (a + b + c) ⋅ (a + b + c) ⋅
⋅ (a + b + c) ⋅ (a + b + c)
Fondamenti di Informatica IV.30
Forme canoniche delle
espressioni
Conversione in forma canonica di
un’espressione SP non canonica
F ( x, y , z ) = x y z + yz + x
Si esamina ogni termine:
» se contiene tutte le variabili (minterm)
il termine non necessita di modifiche
» altrimenti per ciascuna variabile X che
manca, si moltiplica il termine per
( X + X ) e si semplifica
Esempio
primo termine: x y z
secondo: yz → yz ( x + x ) → yzx + yz x
terzo: x → x ⋅ ( y + y ) ⋅ ( z + z ) →
→ x yz + x y z + x yz + x y z
AND
OR
NOT
EXOR
NAND
NOR