Algebra de Conmutacin y

Circuitos Lgicos

Sistemas Digitales 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

Sistemas Digitales 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.

Sistemas Digitales 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.

Sistemas Digitales 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)
Smbolos:
a (se lee: not a , a negado), y es 1 s y slo s a=0.

Sistemas Digitales 5
Tablas de verdad para las operaciones OR.
AND y NOT
a b a+b a b ab
0 0 0 0 0 0
0 1 1 0 1 0
1 0 1 1 0 0
1 1 1 1 1 1

a a
0 1
1 0

Sistemas Digitales 6
Propiedades del Algebra de
Conmutacin
(Postulados y Teoremas)

Sistemas Digitales 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

Sistemas Digitales 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.
Sistemas Digitales 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.

Sistemas Digitales 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.

Sistemas Digitales 11
Las compuertas (2)

Smbolos para OR y AND

Sistemas Digitales 12
Implementacin para la propiedad 2b

Sistemas Digitales 13
Smbolo para la compuerta NOT

El circulo al final del tringulo es la representacin de la negacin

Sistemas Digitales 14
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)

Sistemas Digitales 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

Sistemas Digitales 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

Sistemas Digitales 17
Idempotencia

La suma o producto de dos variables iguales

equivale a la misma variable
P6a. a+a = a
P6b. a.a = a

Sistemas Digitales 18
Involucin

Para todo elemento de un lgebra de boole

se cumple que:
P7. (a)=a

Sistemas Digitales 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)

Sistemas Digitales 20
Adyacencia

Se define de la siguiente forma:

P9a. ab + ab= a
P9b. (a+b)(a+b) = a

Sistemas Digitales 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

Sistemas Digitales 22
Absorcin

Ley de Absorcin.
P11a. a + ab = a
P11b. a(a + b) = a

Sistemas Digitales 23
Ley de De Morgan

Ley de De Morgan.
P12a. (a + b + c + ...) ' = a' . b' . c' . ...
P12b. ( a . b . c. ... ) ' = a' + b' + c' + ...

Sistemas Digitales 24
Manipulacin de Funciones
Algebraicas

Sistemas Digitales 25
La simplificacin

El proceso de la simplificacin consiste en

aplicar los postulados y teoremas del lgebra
de Boole para llegar a la expresin ms
simple de la ecuacin, esta, se presentar
normalmente en su forma de sumatoria de
productos de mnima.

Sistemas Digitales 26
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

Sistemas Digitales 27
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 Boole no
garantiza el llegar a la simplificacin ptima.

Sistemas Digitales 28
Implementacin de
Funciones con Compuertas

Sistemas Digitales 29
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.

Sistemas Digitales 30
Ejemplo de un circuito de dos niveles
f x yz x yz xy z xy z
X

Y
Z

Sistemas Digitales 31
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.

Sistemas Digitales 32
Problema

f x yz x yz xy z xy z xyz

a) Diagrama de la suma de productos

b) Diagrama de la suma de productos mnimo

Sistemas Digitales 33
Una red multinivel

h z wx y v ( xz w)

Las redes multinivel son el resultado de implementar funciones que no estn

en la forma ni de suma de productos ni de productos de sumas.

Sistemas Digitales 34
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.

Sistemas Digitales 35
Miniterminos
a b c Minitermino Nmero

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

Sistemas Digitales 36
Ejemplo 1
A B C f f La expresin algebraica ser:

0 0 0 0 1 f(A,B,C) = m(1,2,3,4,5)
= ABC+ABC+ABC+ABC+ABC
0 0 1 1 0

0 1 0 1 0
f(A,B,C) = m(0,6,7)
0 1 1 1 0 = ABC+ABC+ABC

1 0 0 1 0
Para la mayora de los casos la
1 0 1 1 0
suma de los minitrminos no
1 1 0 0 1 representa la sumatoria mnima de
productos.
1 1 1 0 1

Sistemas Digitales 37
Ejemplo 2, con condiciones irrelevantes
(dont care)
a b c f

0 0 0 x

La expresin algebraica ser: 0 0 1 1

f(a,b,c) = m(1,2,5) + d(0,3) 0 1 0 1

0 1 1 x

1 0 0 0

1 0 1 1

1 1 0 0

1 1 1 0

Sistemas Digitales 38
Finalizacin del proyecto EJE1

Z2= ABCD+ABCD+ABCD+ABCD+ABCD
Z2 suma mnima = ACD+BCD+ABC+ABD
Diagrama lgico

Sistemas Digitales 39
Introduccin a los Mapas de
Karnaugh

Sistemas Digitales 40
Mapas de Karnaugh

Es un mtodo grfico usado para la

simplificacin de funciones de conmutacin.
Propuesto por Maurice Karnaugh en 1953.
Los mapas de Karnaugh se compone de un
cuadrado por cada minitrmino posible de
una funcin.
2 variables, 4 cuadrados
3 variables, 8 cuadrados
4 variables, 16 cuadrados

Sistemas Digitales 41
Mapa de Karnaugh para dos variables

A A
B 0 1
AB AB m0 m2 0 0 2

AB AB m1 m3 1 3
B 1

Aqu tenemos tres vistas de una mapa de dos variables, las casillas sombreadas,
por ejemplo, corresponden al minitrmino 2 donde A=1 y B=0

Sistemas Digitales 42
Representando funciones en un Mapa de
Karnaugh (1)
Cuando se quiere llevar una funcin a un
mapa, se coloca un 1 en el casillero
correspondiente al minitrmino que result
como 1 en la funcin.
Los otros casilleros se dejan en blanco
Si existen condiciones irrelevantes, es
necesario poner una X en los minitrminos
correspondientes.

Sistemas Digitales 43
Representando funciones en un Mapa de
Karnaugh (2)

a A
b 0 1 B 0 1

0 1 0 1 X

1 1
1 1

F(a,b) = m(0,3) F(A,B) = m(0,3) + d(2)

Sistemas Digitales 44
Mapa de Karnaugh para 3 variables

AB AB
C 00 01 11 10 C 00 01 11 10
0 ABC ABC ABC ABC 0 0 2 6 4

ABC ABC ABC ABC 1 3 7 5

1 1

La idea con la codificacin es poder usar el P9a. ab+ab=a

Sistemas Digitales 45
Mapa de Karnaugh para 4 variables
AB AB
CD 00 01 11 10 00 01 11 10
CD
00 ABCD ABCD ABCD ABCD 00 0 4 12 8

01 ABCD ABCD ABCD ABCD 01

1 5 13 9

ABCD ABCD ABCD ABCD

11 11 3 7 15 11

ABCD ABCD ABCD ABCD

10 10 2 6 14 10

Sistemas Digitales 46
Ejemplo de adyacencia para un mapa de 4
variables
Los 1 en dos celdas adyacentes corresponden a un solo trmino de
producto.
AB AB
CD 00 01 11 10 CD 00 01 11 10
00 00 1

01 01
1 1

11 11

10 10 1

ACD ABD

Sistemas Digitales 47
Extendiendo el concepto de adyacencia
para agrupar ms celdas

AB AB
C 00 01 11 10 C 00 01 11 10
0 0

1 1 1 1 1 1 1 1
1 1

AC AC C

Sistemas Digitales 48
Otros ejemplos para grupos de 4
AB AB
CD 00 01 11 10 CD 00 01 11 10
00 1
00 1 1

01 01
1 1 1 1 1

1 1 1 1 1
11 11

10 1 10 1 1

AB AD BD BD

Sistemas Digitales 49
Grupos de 8
AB AB
CD 00 01 11 10 CD 00 01 11 10
00 1 1
00 1 1 1 1

01 01
1 1

1 1
11 11

10 1 1 10 1 1 1 1

A D

Sistemas Digitales 50
Ejemplo de simplificacin usando Mapas
de Karnaugh
xyz + xyz + xyz + xyz + xyz
xy xy
z 00 01 11 10 z 00 01 11 10
0 1 1 0 1 1

1 1 1 1 1 1
1 1

xy
z 00 01 11 10
0 1 1

1 1 1 1 xy + xy + xz

Sistemas Digitales 51
Problema

f = abc + abc + abc + abc

Para la funcin f encontrar:
La suma de productos mnima usando un mapa d
karnaugh.

Sistemas Digitales 52
Compuertas NAND, NOR y
OR EXCLUSIVAS

Sistemas Digitales 53
Compuerta NAND y NOR
Como la otras compuertas que estudiamos, tambin estn disponibles
en el comercio con dos, tres, cuatro y ocho entradas.

Smbolos para NAND

Smbolos para NOR

Sistemas Digitales 54
Importancia de las NAND y NOR

Todas las funciones Booleanas pueden ser

substituibles por una funcin equivalente que utilice
nicamente compuertas NAND y/o NOR, esto con
los siguientes objetivos:
Disminucin del nmero de componentes en una tarjeta de
circuito impreso.
Dar facilidad de mantenimiento futuro y
Disminuir el consumo de energa.
La transformacin de cualquier funcin se efectuar
mediante la correcta utilizacin del teorema de
Moorgan.

Sistemas Digitales 55
Algunas equivalencias

Sistemas Digitales 56
Metodologa para transformar una
expresin a NAND
1. Una vez obtenida la expresin correspondiente del problema
digital, se realiza a todo el conjunto una doble inversin o
negacin.
2. Como nos encontramos en el caso de implementar con
puertas NAND, si la expresin resultante est en funcin de
productos, las dos negaciones deben dejarse tal cual. Si, por
el contrario, es una suma, se aplica el teorema de Moorgan
sobre dicha suma.
3. Continuar 2, hasta la obtencin de una funcin compuesta
exclusivamente como productos negados.

Sistemas Digitales 57
Metodologa para transformar una
expresin a NOR
1. Con la expresin correspondiente se realiza a todo el conjunto
una doble inversin o negacin.
2. Si la expresin resultante est en funcin de sumas, las dos
negaciones deben dejarse tal cual. Si se trata de un producto,
tendremos que aplicar el teorema de Moorgan sobre el
producto.
3. Continuar 2 (realizando el proceso anterior) hasta la obtencin
de una funcin compuesta exclusivamente por sumas
negadas.

Sistemas Digitales 58
Compuerta OR-Exclusiva y NOR-Exclusiva

a b a xor b a b a xnor b
0 0 0 0 0 1
0 1 1 0 1 0
1 0 1 1 0 0
1 1 0 1 1 1

Sistemas Digitales 59