H>

>*"
*=>

Hgan 4-10 (a) Implantar AND/OR para el ejemplo 4-9A; (b) implantar NAND del alcanzada al eliminar INVERSORES dobles. mismo circuito; (c) simplificacin

EJEMPLO 4-9 B
Implante el diseo del ejemplo 4-9 A usando slo compuertas NAND.

Solucin
i

Reemplace cada compuerta OR y AND de la figura 4-10(a) con una compuerta NAND y sustituya el INVERSOR por una compuerta NAND INVERSOR (marcada como 1). Adems, como la entrada superior de la compuerta OR es una sola variable (P), entonces tiene que colocarse una compuerta NAND INVERSOR (marcada como 2) en esa entrada. En la figura 4-10(b) se muestra el circuito resultante. Es claro que se pueden eliminar los INVERSORES 1 y 2 (ya que forman una doble inversin de la entrada P) para producir el circuito final de la figura 4-10(c).

PREGUNTAS DE REPASO
Escriba la expresin de suma de productos para un circuito con cuatro entradas y una salida que sera ALTA slo cuando la entrada A es BAJA al mismo tiempo que exactamente otras dos entradas son BAJAS Implante la expresin de la pregunta 1 utilizando todas las compuertas NAND. Cuntas se necesitan?

4-5
114
CAPTULO

MTODO DEL MAPA DE KARNAUGH___________

4 / cwcurros LGICOS COMBINATOIUOS

mapa de Karnaugh es un mtodo grfico que se utiliza para simplificar una ecuacin lgica para convertir una tabla de verdad a su circuito lgico correspondiente en un proceso simple y ordenado. Aunque un mapa de Karnaugh (que de aqui en adelante se abreviar como mapa

K) se puede utilizar para resolver problemas con cualquier nmero de variables de entrada, su utilidad prctica se limita a seis variables. El siguiente anlisis se limitar a problemas de hasta cuatro entradas, ya que los problemas con cinco y seis entradas son demasiado complicados y se resuelven mejor con un programa de computadora. Formato del mapa de karnaugh El mapa K, al igual que una tabla de verdad, es un medio para demostrar la relacin entre las entradas lgicas y la salida que se busca. La figura 4-11 da tres ejemplos de mapas K para dos, tres y cuatro variables, junto con las tablas de verdad correspondientes. Estos ejemplos ilustran varios puntos importantes: 1. La tabla de verdad da el valor de la salida A" para cada combinacin de valores de entrada. El mapa K proporciona la misma informacin en un formato diferente. Cada caso en la tabla de verdad corresponde a un cuadrado en el mapa. Por ejemplo, en la figura 4-11 (a),
n

_B\
i AS 0 01 0 1 |

1 0 lo 1 1 I 1 -. AB i x-ABtAB l e B
i A i

0 1

* B C 0 0 0 0 0 1 0 1 0 0 1 1

i o o 1 0 11 i i 1

1 0

*_
T-.ABC i -ABC 1 -.ABC 0 0 o 1 -.ABC 0 f X ABC ABC 1 | AB AB A a (b)

ABC ABC J

1 1
1

r
i

0 0 0

A B C D 0 0 0 0 0 0 0 1 0 0 10 0 0 11 0 10 0 0 10 1 0>10 0 111 10 0 0 10 0 1 10 10 10 11 110 0 110 1 1110 1111 1 -.ABCD 0 o 1 -. ABCD 0 0_

o o o p_ o
1 -ABCD 0 1 -.ABCD

{':

AB AB AB AB

CD

CJ

CD

CD

'
1

ABCD ABCD

ABCD ABCD

(el

fijara 411 variables.

Mapas de Karaaugh y tablas de verdad par (a) dos, (b) tres y (c) cuatro
115

SECaON/TODODEl.MAPADEKAltNAUGH

la condicin A - 0, B - 0 en la cabla de verdad corresponde al cuadrado AB en el mapa K. Ya que la tabla de verdad muestra X - 1 para este caso, se coloca un 1 en el cuadrado A B en el mapa K. En forma similar, la condicin A - 1, B - 1 en la tabla de verdad corresponde al cuadrado AB del mapa K, ya que .V - 1 para este caso, se coloca un 1 en el cuadrado AB. Los dems cuadrados de llenan con ceros. Esta misma idea se utiliza en los mapas de tres y cuatro variables que se muestran en la figura. 2. Los cuadrados del mapa ' se marcan de modo que los cuadrados horizontal mente adyacentes slo difieran en una variable. Por ejemplo, el cuadrado superior de la izquierda del mapa de cuatro variables es ABCD, en tanto que el cuadrado que se encuentra a la derecha es A BCD (slo la variable D es diferente). De la misma manera, los cuadrados verticalmente adyacentes difieren slo en una variable. Por ejemplo, el^uadrado superior izquierdo es ABCD en tanto que el que se encuentra a la derecha es ABCD (slo la variable B es diferente). Note que cada cuadrado del rengln superior se considera adyacente al correspondiente cuadrado del rengln inferior. Por ejemplo, el cuadrado A BCD del rengln superior es adyacente al cuadrado ABCD del rengln inferior porque slo difieren en la variable A. Haga de cuenta que la parte superior del mapa se dobla hasta locar la parte inferior. Asimismo, los cuadrados del extremo izquierdo de la columna son adyacentes a los

del extremo derecho de la columna. 3. A fin de que los cuadrados que son adyacentes tanto vertical como horizontalmente difieran en una sola variable, el marcado de arriba hacia abajo debe hacerse en el orden indicado, A B, A B, AB, AB. Lo anterior tambin es vlido para el marcado de izquierda a derecha. 4. Una vez que el mapa K se ha llenado con ceros y unos, la expresin de suma de productos para la salida A" se puede obtener operando con OR aquellos^que_contienen_un 1. En el mapa con tres variables de la figura^J l(bj, jos cuadrados A BC, A BC, A BC y ABC contienen un 1, de modo que X - ABC + ABC + ABC + ABC. Agnipamiento La expresin de salida X se puede simplificar adecuadamente combinan-do los cuadros en el mapa K que contengan 1. El proceso para combinar estos unos se denomina agmjmmitnto. strnipamienlo de grupos de dos (pares) La figura 4-12(a) es el mapa K de una tabla de verdad con tres variables. Este mapa contiene un par de unos que son verticalmente adyacentes entre s; el primero representa A BC y, el segundo ABC. Note que en estos dos trminos slo la variable A aparece en forma normal y complementada (fl y C permanecen sin cambio). Estos dos trminos se pueden agrupar (combinar) para dar un resultante que elimine la variable A, ya que sta aparece en forma normal y complementada. Esto se demuestra fcilmente como sigue: X - A~BC_+ ABC Lot - BC(A * A)_ ren - BC{1) - BC 6 colu Este mismo principio es vlido para cualquier par de unos vertical u horizontalmente par : adyacentes. La figura 4-12(b) muestra un ejemplo de dos unos horizontalmente adyacentes. trra Estos se pueden agrupar y luego eliminar la variable C, ya que aparecen en forma no compleABl mentada y complementada para dar una resultante de X - AB. Otro ejemplo se da en la figura 4-12(c). En un mapa K los cuadrados de los renglones superior e inferior se consideran adyacentes^As, los dos unos en este mapa se pueden repetir para dar una resultante de ABC * ABC * BC

116 c^prrtn.o4/ccurrosi>oicx>scoMxNAToiuos
AB

a
AB AB

c
0

^ r
[i
0 ni

0 0

X . ABC ABC

ti
AB AB AB

(el

AB AB

li i

O
o o o o
X - ABC ABC = B 00 00 00

!>

X . ABC ABC 8C CD A B 0

CD
0

CD

CD

1 -1 0 0 0 0 0

A B A B A B

0 0

0 0 0

>

<

V"
X . ABCD ABCD ABCD ABCD ABC * ABD

Id) ABD Figura 4-12 Ejemplos de repeticin de pares de uno adyacentes. La figura 4-12(d) muestra un mapa K que tiene dos pares de unos que se pueden agrupar. Los dos unos en el rengln superior son horizontalmente adyacentes. Los dos unos en el rengln inferior son, asimismo, adyacentes puesto que en un mapa K los cuadrados de las columnas de los extremos izquierdo y derecho se consideran adyacentes. Cuando se agrupa el par superior de unos, la variable D se elimina (ya que aparece como D y D) para dar el trmino ABC. El agrupamiento del par inferior elimina la variable C para dar el trmino ABD. Estos dos trminos se operan con OR a fin de obtener el resultado final para X. Para resumir lo anterior: El agrupamiento de un par de unos adyacentes en un mapa K elimina la variable que aparece en forma complementada y no complementada. SECCIN 4-J / MTODO DEL MAPA DE KARNAUGH 117

igrupamiento de grupo* de cuatro (cudruples) Un mapa K puede contener un grupo de cuatro unos que sean adyacentes entre s. Este grupo se denomina cuidrupU. La figura 4-13 muestra varios ejemplos de cudruples. En la parte (a) los cuatro unos son vem-calmente adyacentes y en la parte (b) son horizontalmente adyacentes. El mapa K de la figura +-13(c) contiene cuatro unos en un cuadrado y se consideran adyacentes entre s. Los cuatro unos en la figura 4-13(d) tambin son adyacentes igual que ios de la figura 14-13(e) ya que, como mencionamos anteriormente, los renglones superior e inferior y las columnas de los extremos izquierdo y derecho se consideran adyacentes entre s. Cuando se repite un cudruple, el trmino resultante contiene slo las variables que no cambian de forma para todos los cuadrados del cudruple. Por ejemplo, en la figura 4-13(a) los cuatro cuadrados que contienen un uno son ABC, ABC, ABC y ABC. El anlisis de estos trminos revela que solamente la variable C permanece sin alterarse {A y B aparecen en forma 4-13 Ejemplos de repeticin de grupos de cuatro unos (cudruples).
AB AB AB A6

0 0 0 0

1 1 1 1 CD CD 0 0 i 0

c o
0 0 i 0

CD 0 0

A& 0 .

A B A B A B

0
0
CD

0
0

x-c
X = AB

CD
AB AB AB AB

CD

CD

t
0

0 0

'

0 CD

0 CD 0 0 0

0 CD 0 0 0 CD 0 0

A B A B A B

0 0

f
K .

A B

y
CD

X = AD

CD
AB A3 AB AB

CD

CD

>
0 0

0 0 0 0

0 0 0 0

<<
0 0

X = BD CAPITULO 4 / CDlCUrTOS LGICOS COMMNATOIUOS

complementada y no complementada). De este modo, la expresin resultante para X es simplemente X - C. Esto se puede demostrar de la siguiente manera: X - ABC + ABC + ABC + ABC - ~AC(B + B) + AC(B* B) = AC + AC - C(A + A) --C Para poner otro ejemplo, consideremos la figura 4-1 J(d), donde los cuatro cuadrados que contienen unos son ABCD ABCD, ABCD, y ABCD. El anlisis de estos trminos indica que slo las variables A y D permanecen sin cambios, as que la presin simplificada para X es X - D Esto se puede probar de la misma manera anteriormente utilizada. El lector debe verificar cada uno de los otros casos de la figura 4-13 para comprobar que sean las expresiones indicadas para A' Para resumir: El agrupamiento cudruple de unos elimina las dos variables que aparecen en la forma complementada y no complementada. ignipatniento de grupos en ocho (octetos) Un grupo de ocho unos que son adyacentes entre s se denomina ocuio. En la figura 4-14 se dan varios ejemplos de octetos. Cuando Figura 4-14 Ejemplos de repeticin de grupos de ocho unos (octetos). co CD CD co
A 3

AB 1
A 3

1 1

1 1

1 J
0

A8 0
CD CD

0
CD

0
CD

IX-Bl la)
AB AB AB AB

-1 1
0
0 0 1 1

0 0 0

1 1

i ' .
|x-c| tt
CD CD
AB AB

CD CD

CD CO

CD CD

M
AB

< 0 0

. y
0

AB AB AB AB

> |

rT

p
0

0 .
un]
te) Ix-Dl

SECCIN 4-5 / MTODO DEi MAPA DE KAUNAUOH

porque slo una de ellas permanece inalterada. Por egemplo, el anlisis de los ocho cuadrados P agrupados en la figura 14-14(a) muestra que slo la variable B est en la misma forma para los n ocho cuadrados; las otras variables aparecen en forma complementada y no complementada. As, para este mapa, X - H. El lector puede verificar los resultados de los otros ejemplos en la figura 4-14. * El agrupamiento de un octeto de unos elimina las tres variables que aparecen en forma complementada y no complementada. Proceso completo de simplificacin Hemos visto la forma en que se puede utilizar el agrupamiento de pares, cudruples y octetos en un mapa K para obtener una expresin simplificada. Podemos resumir la regla para agrupamiento de cualquier tamao: cuando una variable aparece en forma complementada y no complementada dentro Je un agrupamiento, esa variable se elimina de la expresin. Las variables que son iguales en todos los cuadrados del agrupamiento deben aparecer en a expresin final. Recuerde que un agrupamiento mayor de unos elimina ms variables. Para ser exactos, un agrupamiento de dos elimina una variable, uno de cuatro elimina dos y uno de ochos elimina tres. Este principio se usar ahora para obtener una expresin lgica simplificada a partir de un mapa K que contenga cualquier combinacin de unos y ceros. Primero se delinear el procedimiento y luego se aplicar a varios ejemplos. Las etapas que en seguida se muestran se llevan a cabo al utilizar el mtodo del mapa K para simplificar una expresin booleana: 1. Construya el mapa K y coloque unos en aquellos cuadrados correspondientes a los unos en la tabla de verdad. Coloque ceros en los otros cuadrados. 2. Examine el mapa para ver si hay unos adyacentes y repita aquellos unos que no sean adyacentes a ningn otro uno. A stos se les llama unos aislados. i. A continuacin, busque aquellos unos que sean adyacentes slo a otro uno. Repita cualquier par que contenga dicho 1. 4. Agrupe cualquier octeto aunque algunos de los unos ya fueron repetidos. 5. Agrupe cualquier cudruple que contenga uno o ms unos que no se hayan repetido, asegurndose de utilizar el nmero mnimo de agrupamtentos. 6. Agrupe cualquier par que sea necesario para incluir los unos que no se hayan repetido an, asegurndose de utilizar el nmero mnimo de agrupamtentos, 7. Forme la suma OR de todos los trminos generados por cada agrupamiento. Estos pasos se seguirn al pie de la letra y se mencionarn en los siguientes ejemplos. En cada caso, la expresin lgica resultante estar en su forma simple de suma de productos.

EJEMPLO 4-10_______________________________________________
La figura 4-15(a) muestra el mapa K para un problema con cuatro variables. Se supondr que el mapa se obtuvo de la tabla de verdad del problema (paso 1). Los cuadrados estn numerados por conveniencia, para identificar cada agrupamiento. Para resumir: * P PV

120 cAPrruto/cmcurrosLcicoscoMBiNATOwos