17/10/2012

1
Postulati dellAlgebra Booleana

Lalgebra booleana definita da una serie di postulati
1) Esiste un insieme B di elementi od oggetti, nel quale definita una relazione
di uguaglianza =
propriet riflessiva: a=a
propriet simmetrica: a=b a b=a
propriet transitiva: a=b e b=c a a=c
2) Si definisce un operazione + ( o regola di combinazione) tale che:
a, b } B a a+b } B
3) Si definisce unoperazione tale che:
a, b } B a a b } B
1
4) Esiste in B un elemento 0 (elemento neutro per loperazione +) tale che:
a } B a a+0 = a
5) Esiste in B un elemento 1 (elemento neutro per loperazione ) tale che:
a } B a a 1 = a

Propriet Commutativa
6) a+b = b+a 7) a b = b a
Propriet Distributiva
8) a + (b c) = (a + b) (a + c)
9) a (b + c) = (a b) + (a c)
2
17/10/2012
2
10) Per ogni elemento a } B esiste un elemento a tale che:
a a = 0 e a + a = 1
11) Ci sono almeno due elementi x, y } B tali che x = y

Lalgebra booleana definita dallinsieme
< B , op1 , op2 , a , b > < B , + , . , 0 , 1 >
B: insieme di elementi su cui vengono eseguite le operazioni
op1, op2: operazioni a due elementi con certe propriet
a, b: elementi neutri
Lalgebra ordinaria con le operazioni di somma e prodotto non
booleana poich:
- non vale la propriet 8) : a + (b c) = (a + b) (a + c)
- non esiste a
3
Teoremi fondamentali dellalgebra Booleana
1 gli elementi 0 e 1 sono unici
2
3
4 gli elementi 1 e 0 sono distinti e 1 = 0
5
6 unico
7
8
9 prop. associativa
10
11 de Morgan

, a a a a a a + = =
1 1 , 0 0 a a + = =
( ) ( )
, a a b a a a b a + = + =
a
a a =
( ) ( )
a a b c a b c a a + + = + + = ( (

( ) ( )
a b c a b c + + = + +
( ) ( )
a b c a b c =
( )
a a b a b + = + ( )
a a b a b + =
a b a b a b a b + = = + 4
17/10/2012
3
Teorema di De Morgan: estensione a n variabili
Teorema di De Morgan generalizzato
( )
( )
1 2 n 1 2 n
F x , x , , x F x , x , , x ( + = +

; , ; ,

Esempio
( )
( )
( )
( )
F w x y z w x x y w x z = + + + , , ,
( )
( )
( )
( )
( ) ( ) ( )
F w x y z w x x y w x z
w x x y w x z
= +
= + + +
, , ,

1 2 1 2
... ...
n n
x x x x x x + + + =
1 2 1 2
... ...
n n
x x x x x x = + + +
5
Teorema di Shannon
( ) ( ) ( ) 1
1 2 1 2 2
, ,..., 1, ,..., 0, ,...,
n n n
f x x x x f x x x f x x = +
( ) ( ) ( ) 1
1 2 1 2 2
, ,..., 1, ,..., 0, ,...,
n n n
f x x x x f x x x f x x = +
( ) ( ) 2
2 1 1
,1,..., ,0,...,
n n
x f x x x f x x + +
Applicato pi volte alle diverse variabili
Teorema del consenso
1) a b+a c+b c=a b+a c
2)
( )
( )
( ) ( )
( )
+ a b a+c b+c = a+b a+c
6
17/10/2012
4
A B A B A B = +
A B A B A B = +
A B A B A B A B = + =
1 A A = 0 A A =
1 A A =
1 A A =
( ) ( 1) A B B A B B A B B + = + = + =
Esercizi su logica binaria e reti combinatorie
7
| |
( )
( )
1 A B D B C B D A B C C A A B A
(
(
+ + + + + +


| | ( )
A B D B C B D A B C C A B A
(
(
+ + + + +


| | ( )
A B D B C B D C A B A
(
+ + + +

| | ( )
A B D B C A B A + + +
A B A B B D A B C A
(
+ + + +

A B B D A B C A
(
+ + +

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

8
17/10/2012
5
| |
( ) ( )
( )
( ) ( )
( )
| |
A B B C A B A A B A C B C A B
A B A B B C A B A B A C A B
A B A B B C A B A B C
A B A B C A B C
A B C A B C
(
+ + + + + + + =

(
(
= + + + + + + =


(
(
= + + + + + =


(
= + + =

= +
A B C A B C +
Somma canonica
somma minima
A B C A B C +
9
Somma canonica
somma minima
( )
( )
( ) ( )
A B D A B D A C A B C A A C A B A C B C
(
+ + + + + + + + +
(

( )
1 A B D A B D A C A B C C A B A C
(
+ + + + +

( )
1 A B D A B D C A B A
(
+ + + +

A B D D C
(
+ +

A B C +
A B C D A B C D + A B C D A B C D + +
A B C D A B C D A B C D A B C D
A B C D A B C D A B C D A B C D
+
+ + + +
+ + +
A B C +
10
17/10/2012
6
ON-set = (2,4,5,13) DC-set = (0,7,12,15)
Trovare
IMPLICANTI PRIMI
SOMMA MINIMA
PRODOTTO MINIMO:
, , , B C A B D A C D
B C A B D +
AB
CD
A
D
B
C
00 01 11 10
00
01
11
10
0
1
3
2
4
5
7
6
12
13
15
14
8
9
11
10
d
d
1 1
1
1
d
d
11
AB
CD
A
D
B
C
00 01 11 10
00
01
11
10
0
1
3
2
4
5
7
6
12
13
15
14
8
9
11
10
d
d
1
1
1
d
d
1
1
1
1
1
F= ON-set = (2,4,5,13) DC-set = (0,7,12,15) PRODOTTO MINIMO
F= ON-set = (1,3,6,8,9,10,11,14) DC-set = (0,7,12,15)
IMPLICANTI PRIMI
SOMMA MINIMA


( ) ( ) ( )
B D A B B C + + +
, , , , B D A B B C C D A C
B D A B B C + +
AB
CD
A
D
B
C
00 01 11 10
00
01
11
10
0
1
3
2
4
5
7
6
12
13
15
14
8
9
11
10
d
d
1 1
1
1
d
d
12
17/10/2012
7
AB
CD
A
D
B
C
00 01 11 10
00
01
11
10
0
1
3
2
4
5
7
6
12
13
15
14
8
9
11
10
d
1
d 1
1
1 1
, , C D B D A B C
C D B D A B C + +
ON-set = (2,4,6,13,14) DC-set = (10,12)
Trovare
IMPLICANTI PRIMI


SOMMA MINIMA


13
( )
( )
( )
A D B C C D + + +
ON-set = (2,4,6,13,14) DC-set = (10,12)
Trovare
PRODOTTO MINIMO:


14
AB
CD
A
D
B
C
00 01 11 10
00
01
11
10
0
1
3
2
4
5
7
6
12
13
15
14
8
9
11
10
d
1
d 1
1
1 1 1
1
1
1
, , D : essenziali
:
= + +D
F=
17/10/2012
8
AB
CD
A
D
B
C
00 01 11 10
00
01
11
10
0
1
3
2
4
5
7
6
12
13
15
14
8
9
11
10
1
1
1
1
1
1
ON-set = (5,9,11,12,13,14)

Trovare
IMPLICANTI PRIMI


SOMMA MINIMA


PRODOTTO MINIMO:
15
BCD, ABD, ABD, ABC, ACD
BCD+ABD+ABD
(A+D) (B+D) (A+B) (B+C+D)
1
AB
CD
A
D
B
C
00 01 11 10
00
01
11
10
0
1
3
2
4
5
7
6
12
13
15
14
8
9
11
10
1
1
1
1
1
ON-set = (3,7,9,10,11,13)
Trovare
IMPLICANTI PRIMI


SOMMA MINIMA


PRODOTTO MINIMO:
16
17/10/2012
9
AB
CD
A
D
B
C
00 01 11 10
00
01
11
10
0
1
3
2
4
5
7
6
12
13
15
14
8
9
11
10
d
1
d
1
1
1
1
ON-set = (0,2,8,10,11) DC-set = (1,3)
Trovare
IMPLICANTI PRIMI


SOMMA MINIMA


PRODOTTO MINIMO:
17
1 1 1 1
1
1
1
1
Mappa di karnaugh a 5 variabili





Celle singolari


Implicanti primi
essenziali


F= +




17/10/2012
10
1
d 1
1
1
1
1
1
1
d
1
1
1
1
1
1
1
1 1
OFF-set = (1,3,9,11,12,14,15,20,22,23,28,30,31)
DC-set = (4,24)
Trovare
SOMMA e PRODOTTO MINIMO:


ON-set =
(0,2,5,6,7,8,10,13,16,17,18,19,21,25,26,27,29)
DC-set = (4,24)

1
d 1
1
1
1
1
1
1
d
1
1
1
1
1
1
1
1 1






Implicanti primi
17/10/2012
11
Somma minima

F = + + +
1
d 1
1
1
1
1
1
1
d
1
1
1
1
1
1
1
1 1






Implicanti primi essenziali

1
d 1
1
1
1
1
1
1
d
1
1
1
1
1
1
1
1 1
PRODOTTO MINIMO


1
d
1
1
1
1
1
d 1
1
1
1
1
1
1
17/10/2012
12
1
1
VX
1
d
1
1
1
d 1
1
1
1
1
1
1
VXY
Z
WZY
XW
XYW
Implicanti primi
1
d
1
1
1
1
1
d 1
1
1
1
1
1
1
VX
VXY
Z
WZY
XW
XYW
Implicanti primi essenziali
17/10/2012
13
XYW
d
d
1
VX
VXY
Z
WZY
XW
Mappa ridotta
1
d
1
1
1
1
1
d 1
1
1
1
1
1
1
VX
VXY
Z
WZY
XW
XYW
= + + + + XYW
Somma minima di

VX VXY Z XW
F=( + +) ( + +)( + +)( + +)( + +)

= Prodotto minimo di F
17/10/2012
14
1
1
VX
1
d
1
1
1
d 1
1
1
1
1
1
1
VXY
Z
WZY
XW
XYW
La soluzione precedente non il prodotto minimo,
scelgo in modo differente i DC ho una soluzione migliore:
X
VX
1
XW
1
d
1
1
1
1
d 1
1
1
1
1
1
1
VXY
Z
WZY
XYW
Implicanti primi essenziali
X
17/10/2012
15
VX
XW
1
d
1
VXY
Z
WZY
XYW
Prodotto minimo
X
= + + + XYW
X VXY Z
F=( + +) ( + +)( + +)( + +)