SEMANA 06

1. Simplificacin de la expresin de circuitos lgicos

2. Mtodo del Mapa de Karnaugh

3. Implementacin de funciones lgicas con NAND y NOR
1. Simplificacin de la expresin de circuitos lgicos :


Ej. 1 :
Disear primero el circuito lgico que tiene como salida
A
B
C
Z = ABC + A ( )
y luego el circuito simplificado
A
C
B
A
B
C
Z = ABC + A ( )
Solucin :
A
B
C
Z = ABC + A ( )
B Z = ABC + A ( + )
A C
B Z = ABC + A ( + ) A C
B Z = ABC + A + A C B
B Z = AC ( B+ )+ A B
B Z = AC + A
B Z = A(C + )
A
B
C
Z
Ej. 2 :
Disear un circuito lgico simplificado que tenga 3
entradas(A ,B,C) y cuya salida sea alta slo cuando
la mayor parte de las entradas sean altas.
Solucin
Paso 1 : Establecer la tabla de verdad
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
Paso 2 : Escribir a expresin de salida en Minterms
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
F = BC + A C + AB + ABC A B C
Paso 3 : Simplificar la expresin de salida
F = BC + A C + AB + ABC A B C
F = BC( + A) + A C + AB A B C
F = BC + A C + AB B C
F = C ( A + B ) + AB C F = C( B + A ) + AB B C
(A + B) (ley 5)
F = C A + C B + AB C F = C A + B(C + A ) C
(C + A ) (ley 5)
F = C A + B(C + A )
Paso 4 : Implementar el circuito para la expresin final
F = C A + B(C + A )
A
B
C
F
2. Mtodo del Mapa de Karnaugh (Mapa K) :
2.1 Formato : El mapa K, al igual que una tabla de verdad, es
un medio para mostrar la relacin entre las entradas lgicas
y la salida.
Ejemplos :

1)
A B F
0 0 1
0 1 0
1 0 0
1 1 1
1 0
0 1
A
B B
A
A B
A B
F = + A B A B
2)
A B C F
0 0 0 1
0 0 1 1
0 1 0 1
0 1 1 0
1 0 0 0
1 0 1 0
1 1 0 1
1 1 1 0
1 1
1 0
1 0
0 0
C
A B
A B
A B
A B
C
A B C
A B
C
A B C
A B C
A B C A B C A B C F = + C + + A B
3)
A B C D F
0 0 0 0 0
0 0 0 1 1
0 0 1 0 0
0 0 1 1 0
0 1 0 0 0
0 1 0 1 1
0 1 1 0 0
0 1 1 1 0
1 0 0 0 0
1 0 0 1 0
1 0 1 0 0
1 0 1 1 0
1 1 0 0 0
1 1 0 1 1
1 1 1 0 0
1 1 1 1 1
0 1 0 0
0 1 0 0
0 1 1 0
0 0 0 0
A B
A B
A B
A B
C D D C C D D 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
F = + + +
0 1 0 0
0 1 0 0
0 1 1 0
0 0 0 0
A B
A B
A B
A B
C D D C C D D C
Obs.: Los cuadrados del mapa K se marcan de modo que los cuadrados
horizontalmente adyacentes slo difieran en una variable y de la
misma manera, los cuadrados verticalmente adyacentes. Ej.:
2.2 Agrupamiento : Proceso de combinar los unos del mapa K para
simplificar la funcin de salida. Tenemos 3 casos:
2.2.1 Agrupamiento de dos(pares) : El agrupamiento de un par de unos adyacentes
elimina la variable que aparece en forma complementada y no complementada.
Ej.:
0 0 1 1
0 0 0 0
0 0 0 0
1 0 0 1
A B
A B
A B
A B
C D D
C
C D D C
A B C
A B C D
D A B C
( D se elimina porque
aparece en forma
complementada y no
complementada)
D A B C
D A B C
A B D
( C se elimina)
2.2.2 Agrupamiento de cuatro(cuarteto) : El agrupamiento de un cuarteto de unos
adyacentes elimina las dos variables que aparecen en forma complementada y no
complementada.
Ej.:
0 0 0 0
0 0 0 0
1 0 0 1
1 0 0 1
A B
A B
A B
A B
C D D
C
C D D C
D A B C
A D
( B,C se eliminan)
D A B C
D A B C
D A B C
2.2.3 Agrupamiento de ocho(octeto) : El agrupamiento de un octeto de unos
adyacentes elimina las tres variables que aparecen en forma complementada y no
complementada.
Ej.:
1 1 1 1
0 0 0 0
0 0 0 0
1 1 1 1
A B
A B
A B
A B
C D D
C
C D D C
B
( A,C,D se eliminan)
D A B C
D A B C
D B C A
D A B C
D A B C
D A B C
D A B C
D B C A
2.3 Proceso completo de simplificacin del mapa K :
1) Coloque unos en aquellos cuadrados del mapa K correspondientes a los
unos en la tabla de verdad. Coloque ceros en los otros cuadrados.

2) Encierre los unos que no sean adyacentes a ningn otro uno (uno aislado)

3) Agrupe cualquier octeto .

4) Agrupe cualquier cuarteto de unos que no hayan sido agrupados pudiendo
contener algn uno que ya haya sido agrupado.

5) Agrupe cualquier par que sea necesario para incluir los unos que no se
hayan agrupado an.

6) Escriba los Minterms generados por cada agrupamiento.
Ejemplos:
1)
0 0 0 1
0 1 1 0
0 1 1 0
0 0 1 0
A B
A B
A B
A B
C D D
C
C D D 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
F = + +
D A B C D B D A C
2)
0 1 0 0
0 1 1 1
0 0 0 1
1 1 0 1
A B
A B
A B
A B
C D D
C
C D D C
0 1 0 0
0 1 1 1
0 0 0 1
1 1 0 1
A B
A B
A B
A B
C D D
C
C D D C
0 1 0 0
0 1 1 1
0 0 0 1
1 1 0 1
A B
A B
A B
A B
C D D
C
C D D C
F = + + +
F = + + +
D A B
D A C
D B A D B C
D A C A C B A B C
D B C
3) Utilice el mapa K para simplificar :
F = + + A B C B C A B
1 1
1 1
1 0
0 1
C
A B
A B
A B
A B
C
Solucin: Completando la funcin tenemos :
F = + A + + + A B C B C
A B C A B C C A B
F = + B C A
2.4 Condiciones No importa(Irrelevante) : Algunos circuitos lgicos
pueden disearse de manera que haya ciertas condiciones de entrada
para las que no se especifican niveles de salida. Ej.:
A B C F
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 X
1 0 0 X
1 0 1 1
1 1 0 1
1 1 1 1
Irrelevantes
0 0
0 X
1 1
X 1
C
A B
A B
A B
A B
C
0 0
0 X
1 1
X 1
C
A B
A B
A B
A B
C
Nota: Un diseador de circuitos tiene la libertad de hacer la salida para cualquier condicin
irrelevante igual a 0 1, a fin de producir la expresin de salida ms simple.
Para el ejemplo anterior tenemos:
0 0
0 0
1 1
1 1
C
A B
A B
A B
A B
C
F = A
Funcin Implementacin con NAND Implementacin con
NOR
NOT
OR
AND
3. Implementacin de funciones lgicas con NAND y NOR :
Ejemplo : Implementar la siguiente funcin :
F = A.B + A.C + + A B C A B
a) Slo con puertas NOR de dos entradas.

b) Slo con puertas NAND de dos entradas.
Solucin :

a)
F = A.B + A.C + + A B C A B
0 1
0 0
1 1
1 1
C
A B
A B
A B
A B
C
Escribimos la funcin completa :
F = A.B.C + A.B.C + A.B.C + A. .C + + C + A B C A B A B B C
F = A + B C
A
B
C
Aplicando el teorema de Morgan en sentido inverso al segundo sumando,
obtenemos:
F = A + = A + ( B + C ) B C
y negando dos veces la funcin, resulta:
F = A + ( B + C )
B
C
A
b) Negando dos veces la funcin que hemos obtenido del mapa de Karnaugh
y aplicando el teorema de De Morgan, se obtiene:
F = A + = B .C A . B .C
A
B
C