You are on page 1of 25

Sistemas Digitales

,
Clase N°7
1
Postulados del álgebra de boole
Definición:
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 idénticos llamados “0” y “1”, tal que,
para a eK :
• a + 0 = a (elemento neutro)
• a x 1 = a (elemento identidad)

Sistemas Digitales,
Clase N°7
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 N°7
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 N°7
4
Establece que si una expresión es valida en el
álgebra de Boole, entonces su expresión dual
también lo es.
Determinamos la expresión dual remplazando los
operadores “+” por “x” y viceversa y todos los
elemento 0 por 1 y viceversa.

Ejemplo:
a + ( b x c ) = 1, expresión su dual es: a x ( b + c ) = 0
Principio de Dualidad
Sistemas Digitales,
Clase N°7
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 N°7
6
Teoremas
• Teorema 4: Involución (el complemento del complemento de
A es igual a A).


• Teorema 5: teorema de Absorción:



• Teorema 6: t. de simplificación:

A A =
a b a a
a b a a
= + ×
= × +
) (
b a b a a
b a b a a
× = + ×
+ = × +
) (
Sistemas Digitales,
Clase N°7
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 N°7
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 N°7
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 N°7
10
Funciones de Conmutación
Sean x
1
, x
2
, … , x
n
símbolos llamados variables, cada uno
representa un 0 o un 1, definiremos:
• Función de conmutación: 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 función de conmutación 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 N°7
11
Representación de una función de
Conmutación
• Tabla de Verdad:
Evaluamos todos los posibles valores de entrada de la función 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 N°7
12
Tabla de Verdad
• Describa una función de conmutación 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 N°7
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 N°7
14
Representación de una función de
Conmutación
Formas Algebraicas
• Suma de Productos: se construye al sumar (or)
términos productos (and).
Ejemplo:


• Producto de Sumas) se construye con el producto
(and) de términos 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 N°7
15
Representación de una función de
Conmutación
• Formas Canónicas:
Son formas Sumas de Productos y Productos de Sumas con
características especiales. Existe una única forma canónica
para cada función de conmutación.
Mintérmino: término de una función de conmutación que
corresponde al “AND” de todas las variables, en donde cada
una aparece bien sea complementada o sin complementar.
Ejemplo:

Maxtérmino: término de una función de conmutación 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 N°7
16
Formas Canónicas 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 × ×
Relación con la tabla de verdad:
Cada mintérmino está asociado con la
línea de la tabla, tal que:
• Las variables no están complementadas
si tienen el valor 1 para la combinación en
la cual la función vale 1.
• Las variables están complementadas si
tienen el valor 0 para la combinación en la
cual la función vale 1.
Sistemas Digitales,
Clase N°7
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 Canónicas Suma de Productos
Sistemas Digitales,
Clase N°7
18
Formas Canónicas 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
Relación con la tabla de verdad:
Cada maxtérmino está asociado con
la línea de la tabla, tal que:
• Las variables no están
complementadas si tienen el valor 0
para una combinación en que la
función vale 0
• Las variables están complementadas
si tienen el valor 1 para una
combinación en que la función vale 0
c b a + +
c b a + +
c b a + +
Sistemas Digitales,
Clase N°7
19
Formas Canónicas 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 N°7
20
Representación de una función de
Conmutación
• Especificación 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 N°7
21
Relación Mintérminos - Maxtérminos
[ ¿
= =
=
=
) 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 N°7
22
Deducción de Formas Canónicas
• Teorema de expansión 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 N°7
23
Convertir a Suma de Productos Canónica
¿
=
× × + × × + × × + × × + × × =
× + × × + × + × + × × =
× + × =
× × + × × + × × + × =
× + × × + × + × =
× + × =
× + + × =
× + × =
× + × + × =
) 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 N°7
24
Convertir a Suma de Productos Canónica
¿
=
+ = × × + × × = ×
+ = × × + × × = ×
+ = × × + × × = ×
× + × + × =
= × + ×
) 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 N°7
25
Convertir a Producto de Sumas Canónica
[
=
+ + · + + · · + + + + · + + · + + =
+ + · + + · · + + · · + + =
+ + · + · · + + · + =
+ · + · · + · + =
+ · =
) 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