Sistemas Digitales,

Clase N7
1
Postulados del lgebra de boole
Definicin:
Algebra Booleana es un sistema algebraico cerrado
formado por dos elementos 0 y 1 (Conjunto K), y dos
operadores AND (x) y OR (+); para cada par de
elementos a y b e K; a x b y a + b e K.

Axiomas del algebra de Boole:
Axioma 1:
Existen elementos idnticos llamados 0 y 1, tal que,
para a eK :
a + 0 = a (elemento neutro)
a x 1 = a (elemento identidad)

Sistemas Digitales,
Clase N7
2
Axioma 2: Ley de Conmutatividad
Para a y b eK :
a + b = b + a
a x b = b x a

Axioma3: Ley de Asociatividad,
Para a, b y c eK :
a + ( b+c ) = ( a + b ) + c
a x ( b x c ) = ( a x b ) x c


Axiomas del lgebra de boole
Sistemas Digitales,
Clase N7
3
Axioma 4: Ley de Distributividad
Para a, b y c eK :
a + ( b x c ) = ( a + b) x (a + c)
a x ( b + c ) = ( a x b ) + ( a x c)

Axioma 5: elemento inverso
Para cada elemento a eK existe su elemento
inverso tal que :
Postulados del lgebra de boole
0
1
=
= +
a a
a a
Sistemas Digitales,
Clase N7
4
Establece que si una expresin es valida en el
lgebra de Boole, entonces su expresin dual
tambin lo es.
Determinamos la expresin dual remplazando los
operadores + por x y viceversa y todos los
elemento 0 por 1 y viceversa.

Ejemplo:
a + ( b x c ) = 1, expresin su dual es: a x ( b + c ) = 0
Principio de Dualidad
Sistemas Digitales,
Clase N7
5
Teoremas
Teorema 1: Operaciones con 0 y 1



Teorema 2: Operaciones superfluas con 0 y 1:


Teorema 3:operaciones superfluas con una variable






a a a
a a a
=
= +
0 0 1 1 1 1
1 0 1 0 0 0
= =
= + = +
0 0 1 1 = = + A A
Sistemas Digitales,
Clase N7
6
Teoremas
Teorema 4: Involucin (el complemento del complemento de
A es igual a A).


Teorema 5: teorema de Absorcin:



Teorema 6: t. de simplificacin:

A A =
a b a a
a b a a
= +
= +
) (
b a b a a
b a b a a
= +
+ = +
) (
Sistemas Digitales,
Clase N7
7
Teoremas
Teorema 7:



Teorema 8:




a b a b a
a b a b a
= + +
= +
) ( ) (
) ( ) ( ) ( ) ( c a b a c b a b a
c a b a c b a b a
+ + = + + +
+ = +
Sistemas Digitales,
Clase N7
8
Teoremas
Teorema 9: Teorema de Morgan




En general:
b a b a
b a b a
+ =
= +
z c b a z c b a
z c b a z b a
+ + + + =
= + + +
... ...
... ...
Sistemas Digitales,
Clase N7
9
Teoremas
Teorema 10: Consenso




) ( ) ( ) ( ) ( ) ( c a b a c b c a b a
c a b a c b c a b a
+ + = + + +
+ = + +
Sistemas Digitales,
Clase N7
10
Funciones de Conmutacin
Sean x
1
, x
2
, , x
n
smbolos llamados variables, cada uno
representa un 0 o un 1, definiremos:
Funcin de conmutacin: es una correspondencia que asocia
un elemento del lgebra con cada una de las combinaciones
de las n variables x
1
, x
2
, , x
n.

Ejemplos:



En general una funcin de conmutacin queda definida por una
tabla de verdad.

0 0 0 0 ) 1 , 1 , 0 (
) , , (
3 1 3 2 1 1 3 2 1
= + + =
+ + =
F
x x x x x x x x x F
n
2
Sistemas Digitales,
Clase N7
11
Representacin de una funcin de
Conmutacin
Tabla de Verdad:
Evaluamos todos los posibles valores de entrada de la funcin y los
colocamos en una tabla en forma ordenada de acuerdo al sistema binario
ascendente.

Ejemplo: f(x,y) = a + b f(x,y) = a x b
a b a+b
0 0 0
0 1 1
1 0 1
1 1 1
a b axb
0 0 0
0 1 0
1 0 0
1 1 1
Sistemas Digitales,
Clase N7
12
Tabla de Verdad
Describa una funcin de conmutacin con 3 entradas
a,b y c y una salida z, que es verdadera (1) cuando
al menos 2 de sus entradas son verdaderas (1).
a b c f
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 1
1 1 1 1
Sistemas Digitales,
Clase N7
13
c b c b a c b a c b a f + + = ) , , (
1
1
1
0
1
0
0
0
1 0 0 111
0 0 1 110
0 1 0 101
0 0 0 100
1 0 0 011
0 0 0 010
0 0 0 001
0 0 0 000
f
c b c b a c b a abc
Sistemas Digitales,
Clase N7
14
Representacin de una funcin de
Conmutacin
Formas Algebraicas
Suma de Productos: se construye al sumar (or)
trminos productos (and).
Ejemplo:


Producto de Sumas) se construye con el producto
(and) de trminos suma (or).
Ejemplo:
d c a d b c b a d c b a f + + = ) , , , (
) ( ) ( ) , , , ( d a c b a d c b a f + + + =
Sistemas Digitales,
Clase N7
15
Representacin de una funcin de
Conmutacin
Formas Cannicas:
Son formas Sumas de Productos y Productos de Sumas con
caractersticas especiales. Existe una nica forma cannica
para cada funcin de conmutacin.
Mintrmino: trmino de una funcin de conmutacin que
corresponde al AND de todas las variables, en donde cada
una aparece bien sea complementada o sin complementar.
Ejemplo:

Maxtrmino: trmino de una funcin de conmutacin que
corresponde al OR de todas las variables, en donde cada
una aparece bien sea complementada o sin complementar.
Ejemplo:
) , , ( c b a f c b a c b a c b a m = ;
) , , ( c b a f ) ( ), ( c b a c b a M + + + + =
Sistemas Digitales,
Clase N7
16
Formas Cannicas Suma de Productos
c b a c b a c b a c b a f + + = ) , , (
a b c f
0 0 0 1
0 0 1 0
0 1 0 1
0 1 1 0
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 1
c b a
c b a
c b a
Relacin con la tabla de verdad:
Cada mintrmino est asociado con la
lnea de la tabla, tal que:
Las variables no estn complementadas
si tienen el valor 1 para la combinacin en
la cual la funcin vale 1.
Las variables estn complementadas si
tienen el valor 0 para la combinacin en la
cual la funcin vale 1.
Sistemas Digitales,
Clase N7
17
1 1 0 0 1 1 1
0 0 0 0 0 1 1
0 0 0 0 1 0 1
0 0 0 0 0 0 1
0 0 0 0 1 1 0
1 0 1 0 0 1 0
0 0 0 0 1 0 0
1 0 0 1 0 0 0
f c b a c b a c b a c b a
c b a c b a c b a c b a f + + = ) , , (
Formas Cannicas Suma de Productos
Sistemas Digitales,
Clase N7
18
Formas Cannicas Producto de Sumas
) ( ) ( ) ( ) , , ( c b a c b a c b a c b a f + + + + + + =
a b c f
0 0 0 0
0 0 1 1
0 1 0 1
0 1 1 0
1 0 0 1
1 0 1 1
1 1 0 0
1 1 1 1
Relacin con la tabla de verdad:
Cada maxtrmino est asociado con
la lnea de la tabla, tal que:
Las variables no estn
complementadas si tienen el valor 0
para una combinacin en que la
funcin vale 0
Las variables estn complementadas
si tienen el valor 1 para una
combinacin en que la funcin vale 0
c b a + +
c b a + +
c b a + +
Sistemas Digitales,
Clase N7
19
Formas Cannicas Producto de Sumas
) ( ) ( ) ( ) , , ( c b a c b a c b a c b a f + + + + + + =
1 1 1 1 1 1 1
0 1 1 0 0 1 1
1 1 1 1 1 0 1
1 1 1 1 0 0 1
0 1 0 1 1 1 0
1 1 1 1 0 1 0
1 1 1 1 1 0 0
0 0 1 1 0 0 0
f c b a c b a c b a c b a + + + + + +
Sistemas Digitales,
Clase N7
20
Representacin de una funcin de
Conmutacin
Especificacin decimal:
Suma de Productos:





Producto de Sumas:
[
=
=
+ + + + + + + + =
) 7 , 5 , 3 , 1 ( ) , , (
) , , (
) ( ) ( ) ( ) ( ) , , (
7 5 3 1
M c b a f
M M M M c b a f
c b a c b a c b a c b a c b a f

=
+ + + =
+ + + =
) 7 , 6 , 3 , 1 ( ) , , (
) , , (
) , , (
7 6 3 1
m c b a f
m m m m c b a f
c b a c b a c b a c b a c b a f
Sistemas Digitales,
Clase N7
21
Relacin Mintrminos - Maxtrminos
[
= =
=
=
) 5 , 4 , 1 , 0 ( ) 7 , 6 , 3 , 2 ( ) , , ( M m c b a f
m M
M m
i i
i i
Sistemas Digitales,
Clase N7
22
Deduccin de Formas Cannicas
Teorema de expansin de Shannon:



Ejemplo:


Si falta se multiplica por la suma es igual a 1






3 2 1 3 2 2 1 3 2 1
) , , ( x x x x x x x x x x f + + =
| | | | ) ,..., , 1 ( ) ,..., , 0 ( ) ,..., , (
) ,..., , 0 ( ) ,..., , 1 ( ) ,..., , (
2 1 2 1 2 1
2 1 2 1 2 1
n n n
n n n
x x f x x x f x x x x f
x x f x x x f x x x x f
+ + =
+ =
i
x ) (
i i
x x +
) (
i i
x x +

=
+ + + + =
+ + + + =
) 7 , 2 , 6 , 4 , 5 ( ) , , (
) , , (
) ( ) ( ) , , (
3 2 1
3 2 1 3 2 1 3 2 1 3 2 1 3 2 1 3 2 1
3 2 1 1 1 3 2 3 3 2 1 3 2 1
x x x f
x x x x x x x x x x x x x x x x x x F
x x x x x x x x x x x x x x F
Sistemas Digitales,
Clase N7
23
Convertir a Suma de Productos Cannica

=
+ + + + =
+ + + + =
+ =
+ + + =
+ + + =
+ =
+ + =
+ =
+ + =
) 7 , 6 , 4 , 3 , 1 (
) ( ) (
) 0 , , ( ) 1 , , (
) ( ) (
) , 0 , ( ) , 1 , (
) (
) , , 0 ( ) , , 1 (
) , , (
m
c b a c b a c b a c b a c b a
b a b a c b a b a b a c
b a c b a f c
c b a c b a c b a b a
c a c a b c a a b
c a b c a f b
c a c b a
c b f a c b f a
c a c a b a c b a f
a b c f
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 1
1 0 1 0
1 1 0 1
1 1 1 1
Sistemas Digitales,
Clase N7
24
Convertir a Suma de Productos Cannica

=
+ = + =
+ = + =
+ = + =
+ + =
= +
) 7 , 6 , 4 , 3 , 1 ( ) , , (
) , , (
1 3
4 6
6 7
m c b a f
m m c b a c b a c a
m m c b a c b a c a
m m c b a c b a b a
c a c a b a c b a f
a b a b a
Sistemas Digitales,
Clase N7
25
Convertir a Producto de Sumas Cannica
[
=
+ + + + + + + + + + + + =
+ + + + + + + + =
+ + + + + + =
+ + + + =
+ =
) 3 , 2 , 1 , 0 (
) ( ) ( ) )( ( ) ( ) (
) ( ) ( ) ( ) (
) ) ( ) (( ) ) ( ) ((
) ( ) (
) ( ) , , (
M
c b a c b a c b a c b a c b a c b a
c b a c b a c c b a c c b a
c b a b a c c b a b a
c b b a c c b b a
c a a c b a f