ALGEBRA DE BOOLE Y

CIRCUITOS LGICOS

UNIDAD III
1
TABLA DE CONTENIDO
Introduccin
Algebra de conmutacin
Manipulacin algebraica
Operaciones lgicas
Implementacin de funciones lgicas
Introduccin a los Mapas de Karnaugh
Propiedades de las compuertas NAND y NOR
2
INTRODUCCIN
En la unidad anterior llegamos hasta la transformacin de
un problema digital en su equivalente tabla de verdad, en
un formato binario, esto sera suficiente para construccin
de sistemas que usen memorias de solo lectura (ROM),
para realizar la implementacin de estos sistemas con otro
tipo de componentes (compuertas lgicas) es necesario
tener una descripcin algebraica de estos sistemas.
De lo dicho anterior, podemos concluir que necesitamos el
lgebra para:
Interpretar o describir una red de compuertas que
componen el sistema digital.
Permite simplificar y minimizar la cantidad de lgica usada
en un sistema.
Es bsica en el proceso de implementacin de una red de
compuertas.
3
DEFINICIN DEL ALGEBRA DE
CONMUTACIN
Es el conjunto axiomtico que normaliza las
operaciones que podrn existir en un ambiente con
variables binarias, esto es, variables que puedan
asumir nicamente dos valores, incluso, variables
que fsicamente no son binarias, pero pueden ser
representadas en trminos binarios.
4
OPERADORES DEL ALGEBRA DE
CONMUTACIN
OR (suma lgica)
Smbolos: + , V
a + b (se lee: a or b), y es 1 s y slo s a=1 b=1
ambos.
AND (producto lgico)
Smbolos: . , , o simplemente dos variables
seguidas
a . b (se lee: a and b), y es 1 s y slo s a=1 y b=1.
NOT (negacin, complemento, inversin)
Smbolos:
a (se lee: not a , a negado), y es 1 s y slo s a=0.
5
TABLAS DE VERDAD PARA LAS OPERACIONES
OR. AND Y NOT
a b a + b
0 0 0
0 1 1
1 0 1
1 1 1
a b ab
0 0 0
0 1 0
1 0 0
1 1 1
a a
0 1
1 0
6
PROPIEDADES DEL
ALGEBRA DE BOOLE
(POSTULADOS Y
TEOREMAS)
7
PROPIEDAD CONMUTATIVA
Las operaciones OR y AND son conmutativas

P1a. a + b = b + a
P1b. a . b = b . A
Note que el valor para las combinaciones en la
tabla de verdad para las segundas y terceras lneas
son iguales
8
PROPIEDAD ASOCIATIVA (1)
Las operaciones OR y AND son asociativas
P2a. (a+b)+c = a+(b+c)
P2b. (a.b).c = a.(b.c)
Esta propiedad es mencionada como la Ley
Asociativa, declara que el orden de los factores no
altera el resultado.
Esta propiedad nos ayuda a establecer algunas
particularidades de las operaciones OR y AND.

9
PROPIEDAD ASOCIATIVA (2)
OR
a+b+c+d+. Es 1 si cualquiera de las variables es 1 y
es 0 slo si todas las variables son 0.
AND
abcd . Es 1 si todas las variable son 1 y es 0 si
cualquiera de las variables es 0.

10
LAS COMPUERTAS (1)
Es el elemento bsico en los sistemas digitales.
Es un elemento con una sola salida que
implementa una de las funciones bsicas como
AND y OR.
Est disponibles en configuraciones de dos, tres,
cuatro y ocho entradas.
11
LAS COMPUERTAS (2)
Smbolos para OR y AND
M
a
n
r
i
q
u
e

2
0
0
5

12
S
i
s
t
e
m
a
s

D
i
g
i
t
a
l
e
s

IMPLEMENTACIN PARA LA PROPIEDAD 2B
M
a
n
r
i
q
u
e

2
0
0
5

13
S
i
s
t
e
m
a
s

D
i
g
i
t
a
l
e
s

SMBOLO PARA LA COMPUERTA NOT
M
a
n
r
i
q
u
e

2
0
0
5

14
S
i
s
t
e
m
a
s

D
i
g
i
t
a
l
e
s

El circulo al final del tringulo es la representacin de la negacin
IDENTIDAD
Existen 2 elementos neutros, el 0 y el 1,
cumplindose la propiedad en dos de los casos,
quedando como 1 y 0 lgicos en los otros dos (ver
teorema 2):
P3a. a.1 = a (identidad)
P3b. a+0 = a (identidad)
15
NULO
Casos en que no se cumple la propiedad de
elemento neutro, pero existen y se definen de esta
forma.
P4a. a.0 = 0
P4b. a+1 = 1
16
COMPLEMENTO
Existe el elemento complementario para cada
variable binaria y el resultado para cada operacin
es el que sigue.
P5a. a + a = 1
P5b. a . a = 0
17
IDEMPOTENCIA
La suma o producto de dos variables iguales
equivale a la misma variable
P6a. a+a = a
P6b. a.a = a
18
INVOLUCIN
Para todo elemento de un lgebra de boole se
cumple que:
P7. (a)=a
19
DISTRIBUTIVA
Ambas operaciones son distributivas
P8a. a(b+c) = (ab)+(ac)
P8b. a+bc = (a+b)(a+c)
(Este postulado no existe para el lgebra comn)

20
ADYACENCIA
Se define de la siguiente forma:
P9a. ab + ab= a
P9b. (a+b)(a+b) = a
21
SIMPLIFICACIN
Es una combinacin de las propiedades
distributivas y asociativas, se usa comnmente en
la simplificacin de funciones.
P10a. a + a b = (a + a) (a+b) = a+b
P10b. a (a + b) = a a + a b = ab
22
ABSORCIN
Ley de Absorcin.
P11a. a + ab = a
P11b. a(a + b) = a
23
LEY DE MOORGAN
Ley De Moorgan.
P12a. (a + b + c + ...) ' = a' . b' . c' . ...
P12b. ( a . b . c. ... ) ' = a' + b' + c' + ...
24
MANIPULACIN DE FUNCIONES
ALGEBRAICAS
25
CONCEPTOS IMPORTANTES
Literal o variable
Trmino de producto
Trmino estndar de productos o minitrmino
Sumatoria de productos
Sumatoria cannica o sumatoria de trminos
de productos estndares.
Sumatoria de productos mnima o expresin
simplificada.
Nota: cada uno de estos conceptos tiene un
concepto dual para la suma.
26
LA SIMPLIFICACIN
El proceso de la simplificacin consiste en aplicar
los postulados y teoremas del lgebra de
conmutacin para llegar a la expresin ms simple
de la ecuacin, est, se presentar normalmente
en su forma de sumatoria de productos mnima.
27
EJEMPLO DE SIMPLIFICACIN
F = xy(z+x+zy)
F=xyz+xyx+xyzy
F=xyz+xy+xyz
F=xyz+xy
F=xy
Simplificar:
xyz + xyz + xyz + xyz + xyz
28
SOBRE LA SIMPLIFICACIN
No existe una metodologa para realizar la
simplificacin.
Slo la prctica es la manera de alcanzar la
simplificacin ms ptima.
La aplicacin del lgebra de conmutacin no
garantiza el llegar a la simplificacin ptima.
29
IMPLEMENTACIN DE FUNCIONES
CON COMPUERTAS
30
REDES CON AND, OR Y NOT
Una vez que se define la suma de productos
mnima se debe de definir el diagrama lgico,
compuesto por una red de compuertas que
describan la funcin.
31
EJEMPLO DE UN CIRCUITO DE DOS NIVELES
32
z y x z y x yz x z y x f

X
Y
Z
X
Y
Z
X
Y
Z
X
Y
Z
NIVELES
El nmero de niveles corresponde al mximo
nmero de compuertas que una seal debe pasar
desde su entrada hasta la salida.
En el caso anterior tenemos dos niveles, esto
asumiendo que tenemos disponibles en la entradas
los complementos de la literales, cuando no se
dispone de los complementos es necesario
complementar con compuertas NOT.
33
PROBLEMA
xyz z y x z y x yz x z y x f

34
a) Diagrama de la suma de productos
b) Diagrama de la suma de productos mnimo
DE LA TABLA DE VERDAD A LA
EXPRESIN ALGEBRAICA
En la mayora de los casos, un problema digital
es presentado en la forma de una declaracin o
como una tabla de verdad, esto nos obliga a
tener la habilidad de llevar los datos de una
tabla de verdad a una expresin algebraica.
En la tabla de verdad, cada combinacin de las
variables de entrada corresponde a un termino
de producto estndar.
Es posible extraer una sumatoria de productos
estndares sumando cada termino de producto
cuyo resultado en la tabla de verdad es igual a
1.
35
MINITERMINOS
a b c

Minitermino

Nmero
0 0 0 ABC 0
0 0 1 ABC 1
0 1 0 ABC 2
0 1 1 ABC 3
1 0 0 ABC 4
1 0 1 ABC 5
1 1 0 ABC 6
1 1 1 ABC 7
36
En la tabla se muestra la
equivalencia entre las
combinaciones de una tabla de
verdad y los minitrminos que
estn asociados a cada uno de
los productos estndares de
una expresin algebraica.
Los miniterminos pueden ser
referidos tambin por sus
nmeros, que estn mostrados
en la columna de la derecha.
EJEMPLO 1
A B C

f f
0 0 0 0 1
0 0 1 1 0
0 1 0 1 0
0 1 1 1 0
1 0 0 1 0
1 0 1 1 0
1 1 0 0 1
1 1 1 0 1
37
La expresin algebraica ser:

f(A,B,C) = m(1,2,3,4,5)
= ABC+ABC+ABC+ABC+ABC
f(A,B,C) = m(0,6,7)
= ABC+ABC+ABC
Para la mayora de los casos la
suma de los minitrminos no
representa la sumatoria mnima de
productos.