Professional Documents
Culture Documents
Algebra di Boole
M. Favalli
Algebra di commutazione
Funzioni
(ENDIF)
Fondamenti teorici
Reti logiche
1 / 54
(ENDIF)
Algebra di Boole
Fondamenti teorici
Reti logiche
2 / 54
Algebra di Boole
Sommario
Algebra di Boole - I
Algebra di Boole
Algebra di commutazione
Funzioni
(ENDIF)
Fondamenti teorici
Reti logiche
3 / 54
(ENDIF)
Fondamenti teorici
Reti logiche
4 / 54
Algebra di Boole
Algebra di Boole
Propriet di chiusura
Algebra di Boole - I
a + b A a, b A
A = {A, +, ,0 , 0, 1}
rispetto al prodotto
A supporto dellalgebra
a b A a, b A
a0 A a A
(ENDIF)
Fondamenti teorici
Reti logiche
5 / 54
(ENDIF)
Algebra di Boole
Postulati (Huntington)
6 / 54
a (b + c) = (a b) + (a c)
(ENDIF)
Reti logiche
Esempi - I
propriet distributiva:
a + (b c) = (a + b) (a + c)
Fondamenti teorici
Algebra di Boole
Fondamenti teorici
Reti logiche
7 / 54
(ENDIF)
Fondamenti teorici
Reti logiche
8 / 54
Algebra di Boole
Algebra di Boole
Esempi - II
Variabili
a + b = mcm(a, b) il mcm
a0 = n/a
01
1n
un algebra di Boole
(ENDIF)
Fondamenti teorici
Reti logiche
9 / 54
(ENDIF)
Fondamenti teorici
Algebra di Boole
Reti logiche
10 / 54
Algebra di Boole
Propriet - I
Propriet - II
x + (y + z) = (x + y ) + z e x (y z) = (x y ) z
idempotenza:
x +x =x ex x =x
elemento nullo:
x +1=1ex 0=0
Consenso
x y + x0 z + y z = x y + x0 z
x + x 0 y = x + y e x (x 0 + y ) = x y
(x 0 )0 = x
involuzione:
(ENDIF)
(x y )0 = x 0 + y 0
x + x y = x e x (x + y ) = x
assorbimento:
semplificazione:
x 0 unico
(x + y )0 = x 0 y 0
Fondamenti teorici
Reti logiche
11 / 54
(x + y ) (x 0 + z) (y + z) = (x + y ) (x 0 + z)
pu essere interessante verificare tutte queste propriet mediante
lutilizzo dei diagrammi di Venn
(ENDIF)
Fondamenti teorici
Reti logiche
12 / 54
Algebra di Boole
Algebra di Boole
Dimostrazioni - I
Dimostrazioni - II
Esempio: semplificazione
=
=
=
=
=
(x x) + 0
(x x) + (x x 0 )
x (x + x 0 )
x 1
x
(ENDIF)
x + x0 y
elemento neutro
complemento
distributiva
complemento
elemento neutro
Fondamenti teorici
Reti logiche
=
=
=
=
=
=
=
(x 1) + x 0 y
(x (y + y 0 )) + x 0 y
x y + x y0 + x0 y
x y + x y + x y0 + x0 y
x (y + y 0 ) + (x + x 0 ) y
x 1+1y
x +y
(ENDIF)
13 / 54
Algebra di Boole
Reti logiche
14 / 54
Reti logiche
16 / 54
Algebra di commutazione
Principio di dualit
Sommario
Algebra di Boole
Algebra di commutazione
Funzioni
(ENDIF)
Fondamenti teorici
elemento neutro
complemento
distributiva
idempotenza
distributiva
complemento
elemento neutro
Fondamenti teorici
Reti logiche
15 / 54
(ENDIF)
Fondamenti teorici
Algebra di commutazione
Algebra di commutazione
Algebra di commutazione
Espressioni
x
0
0
1
1
1
1
(ENDIF)
y
0
1
x
0
0
0
1
0
1
x
0
1
0
1
0
Fondamenti teorici
Reti logiche
17 / 54
(ENDIF)
Algebra di commutazione
Fondamenti teorici
Reti logiche
18 / 54
Reti logiche
20 / 54
Algebra di commutazione
Convenzioni
Esempi di espressioni
Una volta che sia ben definito linsieme di simboli utilizzato per
rappresentare le variabili, si pu eliminare il simbolo di prodotto logico
Per le propriet dellalgebra di commutazione si possono anche
omettere alcune parentesi ricordando che il prodotto logico prioritario
rispetto alla somma logica
x + (yz) pu essere scritta come x + yz
x
x 0 + x0
x + y (w + z)
x + (y 0 (w + z)0 )
(ENDIF)
Fondamenti teorici
Reti logiche
19 / 54
(ENDIF)
Fondamenti teorici
Funzioni
Funzioni
Sommario
Funzioni booleane
Funzione booleana di n variabili: relazione f : An A che mette in
corrispondenza gli elementi del dominio An = A A ....A con quelli
del codominio.
Algebra di Boole
Algebra di commutazione
Funzioni
(ENDIF)
Fondamenti teorici
Reti logiche
21 / 54
(ENDIF)
Fondamenti teorici
Funzioni
Reti logiche
Funzioni di commutazione
Tabella di verit
(ENDIF)
Fondamenti teorici
22 / 54
Funzioni
Reti logiche
23 / 54
x
0
0
0
0
1
1
1
1
y
0
0
1
1
0
0
1
1
(ENDIF)
z
0
1
0
1
0
1
0
1
f (x, y , z)
0
0
0
1
0
1
1
1
Fondamenti teorici
Reti logiche
24 / 54
Funzioni
Funzioni
Funzioni di commutazione
Letterali
(ENDIF)
Fondamenti teorici
Reti logiche
Vedremo il loro utilizzo nella valutazione del costo di una rete logica
(ENDIF)
25 / 54
Fondamenti teorici
Funzioni
Funzioni - Esempi
Funzioni - Esempi
Funzioni di 2 variabili
xy
00
01
10
11
x
0
1
f (x)
0
0
0
1
1
0
1
1
costante 0
proiezione di x
negazione di x
costante 1
(ENDIF)
Reti logiche
26 / 54
Funzioni
Fondamenti teorici
Reti logiche
27 / 54
f (x)
0
0
0
0
1
1
1
1
0
0
1
1
0
1
0
1
1
1
0
0
1
0
1
0
cost. 0
cost. 1
proiez. di x
proiez. di y
negaz. di x
negaz. di y
(ENDIF)
Fondamenti teorici
Reti logiche
28 / 54
Funzioni
Funzioni
Funzioni - Esempi
Funzioni - Esempi
xy
00
01
10
11
f (x)
0
0
0
1
0
1
1
1
1
1
1
0
1
0
0
0
0
1
1
0
1
0
0
1
AND
OR
NAND
NOR
EXOR
EQUIV.
(ENDIF)
Fondamenti teorici
xy
00
01
10
11
f (x)
1
0
1
1
1
1
0
1
0
1
0
0
0
0
1
0
Reti logiche
(ENDIF)
29 / 54
Funzioni
Fondamenti teorici
Reti logiche
30 / 54
Reti logiche
32 / 54
Funzioni
Espressione funzione
Valutazione di un espressione
(ENDIF)
Fondamenti teorici
Reti logiche
31 / 54
x1 x2 x3
000
001
010
011
100
101
110
111
w
0
0
0
1
0
1
0
1
(ENDIF)
Fondamenti teorici
Funzioni
Funzioni
Semplificazione di espressioni
Fondamenti teorici
Reti logiche
(ENDIF)
33 / 54
Funzioni
Esercizio
propr .distributiva
el.neutro
semplificazione
propr .distr .
propr .distr .
z
}|
{
z }| { z }| {
= (x + y + z)0 +w 0 + x(x 0 + w) + y 0 (x 0 + w) =
z}|{
xx 0
semplificazione
assorbimento
z }| {
z }| {
x 0 y 0 + x +w 0 + wy 0 = y 0 + wy 0 +x + w 0 = y 0 + x + w 0
Si noti che
complemento
= x 0y 0z 0 + w 0 +
34 / 54
z }| {
z }| {
= (x 0 y 0 ) 1 +w 0 + wx + wy 0 = x 0 y 0 + w 0 + wx +wy 0 =
z
}|
{ z
}|
{
((x + y + z) w)0 + (x + y 0 )(x 0 + w) =
DeMorgan
Reti logiche
Esercizio
Fondamenti teorici
Funzioni
+xw + y 0 w + x 0 y 0 =
propr .distr .
el.neutro
}|
{
z
z}|{
0 0 0
0 0
0
= (x y )z + (x y ) +w + 0 +wx + wy 0 =
nullo
z }| {
= (x 0 y 0 ) (z 0 + 1) +w 0 + wx + wy 0 =
(ENDIF)
Fondamenti teorici
Reti logiche
35 / 54
(ENDIF)
Fondamenti teorici
Reti logiche
36 / 54
Funzioni
Esercizi proposti
Sommario
Algebra di Boole
Algebra di commutazione
Funzioni
x = (a + b)0 (c + (d e)0 )0 + (a + a0 b + a0 b0 )
x = (b 1) + (a + (b e)0 ) c + ad
x = a b c + a b d 0 + a b c 0 + a b0 d
(ENDIF)
Fondamenti teorici
Reti logiche
37 / 54
(ENDIF)
Fondamenti teorici
Reti logiche
38 / 54
Esempio - I
(ENDIF)
Fondamenti teorici
Calcolo delle proposizioni
Reti logiche
39 / 54
(ENDIF)
Fondamenti teorici
Reti logiche
40 / 54
Esempio - II
Proposizioni
Le proposizioni che interessano sono frasi elementari che
possono essere vere o false (ma non entrambe): "Tutte le
automobili da corsa hanno 4 ruote"
Nel linguaggio naturale esistono frasi che possono essere in parte
vere e in parte false, frasi che non si sa se sono vere o false e
frasi per cui non ha senso chiedersi se sono vere o false.
Una proposizione elementare non pu essere scomposta in
ulteriori proposizioni (es. 2 + 2 = 4), e pu essere negata
(2 + 2 6= 4).
Le proposizioni elementari possono essere composte utilizzando i
connettivi e (and, ) e o (or, ), oppure possono essere negate
(not ).
Fondamenti teorici
Reti logiche
41 / 54
(ENDIF)
p
T
F
(ENDIF)
p
F
F
T
T
q
F
T
F
T
pq
F
F
F
T
Reti logiche
42 / 54
Fondamenti teorici
Calcolo delle proposizioni
A = {{T, F}, , , , 0, 1}
pq
F
T
T
T
Fondamenti teorici
Reti logiche
43 / 54
(ENDIF)
Fondamenti teorici
Reti logiche
44 / 54
Proposizioni condizionali - I
Proposizioni condizionali - II
p implica q
p q equivalente a p q p
Per la logica formale la frase vera! Una volta che lipotesi sia falsa
posso dire quello che voglio sulla tesi. Questo non sarebbe piaciuto ai
logici classici.
(ENDIF)
Fondamenti teorici
Reti logiche
45 / 54
(ENDIF)
Fondamenti teorici
prop.associativa
z }| {
(pq)r
assorbimento
z }| {
+ (pq)0 = pqr +
z}|{
p0
+q 0 =
prop.distributiva
z }| {
= pqr + p0 qr +q 0 + p0 =
complemento
el.neutro
z }| {
z }| {
0
0
0
= (p + p ) qr + q + p = 1 qr +q 0 + p0 = qr +
assorbimento
z}|{
q0
+p0 =
prop.distr .
z }| {
= qr + q 0 r +p0 + q 0 = (q + q 0 )r + q 0 + p0 = r + p0 + q 0
Fondamenti teorici
46 / 54
(ENDIF)
Reti logiche
47 / 54
(ENDIF)
Fondamenti teorici
Reti logiche
48 / 54
Esercizio
Esercizio
(ENDIF)
Fondamenti teorici
Reti logiche
49 / 54
(ENDIF)
Fondamenti teorici
Reti logiche
50 / 54
Esercizio
Esercizio
prop.distr .
semplificazione
z }| {
z }| {
p = a0 bc + ad 0 + ac 0 d +acd = a0 bc + a (d 0 + c 0 d) +acd =
prop.distr .
prop.distr .
z }| {
z }| {
= a0 bc + a(d 0 + c 0 ) +acd = a0 bc + ad 0 + acd +ac 0 =
semplificazione
prop.distr .
z }| {
z }| {
= a0 bc + a(d 0 + cd) +ac 0 = a0 bc + a(d 0 + c) +ac 0
z
}|
{ z }| { z
}|
{ z }| {
p = (a b c) (a d) (a c d) (a c d)
prop.distr .
complemento
z }| {
z }| {
= a0 bc + ad 0 + ac + ac 0 = a0 bc + ad 0 + a(c + c 0 )
prop.distr .
el.neutro
nullo
z }| {
z }| {
z}|{
= a0 bc + ad 0 + a 1 = a0 bc + ad 0 + a = a0 bc + a (1 + d 0 )
el.neutro
semplificazione
z }| {
z}|{
= a0 bc + a 1 = a0 bc + a = bc + a
(ENDIF)
Fondamenti teorici
Reti logiche
51 / 54
(ENDIF)
Fondamenti teorici
Reti logiche
52 / 54
Esercizio
Esercizio proposto
(ENDIF)
Fondamenti teorici
Reti logiche
53 / 54
(ENDIF)
Fondamenti teorici
Reti logiche
54 / 54