Universidad Fermn toro

vicerrectorado acadmico
facultad de ingeniera
cabudare-lara

MAPA DE KARNAUGH
{ (MAPA K)
Rebeca Oropeza
C.I 26.261.017
Circuitos Digitale SAIA B
Prof. Marienny Arrieche

MAPA DE KARNAUGH

Un mapa de Karnaugh provee una

manera alternativa de simplificacin
de circuitos lgicos. En lugar de usar
las tcnicas de simplificacin con el
lgebra de Boole, t puedes transferir
los valores lgicos desde una funcin
booleana o desde una tabla de
verdad a un mapa de Karnaugh.
El agrupamiento de ceros 0 y unos 1
dentro del mapa te ayuda a
visualizar las relaciones lgicas entre
las variables y conduce directamente
a una funcin booleana simplificada.
El mapa de Karnaugh es a menudo
usado para simplificar los problemas
lgicos con 2, 3 o 4 variables.

Las variables de entrada pueden combinarse de

16 formas diferentes, por lo que el mapa de
Karnaugh tendr 16 celdas, distribuidas en una
cuadrcula de 4 4. La combinacin de dgitos
binarios en el mapa representa el resultado de la
funcin por cada combinacin de entradas. Por
ejemplo, la celda en la esquina superior
izquierda del mapa es 0, porque el resultado de
la funcin es = 0 cuando A = 0, B = 0, C = 0, D =
0. De igual manera, la esquina inferior derecha
es 10 porque el resultado de la funcin es = 10
cuando A = 1, B = 0, C = 1, D = 0.
Una vez construido el mapa de Karnaugh, la
siguiente tarea es la de seleccionar conjunto de
trminos denominados subcubos de manera que
se obtenga el menor nmero de subcubos
posible. Estos subcubos se seleccionan formando
grupos de rectngulos que encierren a los unos
del mapa, las reas deben ser potencia de 2 (ej. 1,
2, 4, 8, ...) y se debe tratar de agrupar el mayor
nmero de unos posible. En resumen hay que
tomar en cuenta al hacer estos grupos de unos
(subcubos) lo siguiente:

Construccin del mapa-K.

Reglas de simplificacin

1. Las agrupaciones son exclusivamente de unos. Esto implica que

ningn grupo puede contener ningn cero.

2. Las agrupaciones nicamente pueden hacerse en horizontal y

vertical. Esto implica que las diagonales estn prohibidas.

3. Los grupos han de contener 2n elementos. Es decir que cada

grupo tendr 1,2,4,8... nmero de unos.

4. Cada grupo ha de ser tan grande como sea posible. Tal y como lo
ilustramos en el ejemplo.

5. Todos los unos tienen que pertenecer como mnimo a un grupo.

Aunque pueden pertenecer a ms de uno.

6. Pueden existir solapamiento de grupos.

7. La formacin de grupos tambin se puede producir con las

celdas extremas de la tabla. De tal forma que la parte inferior se
podra agrupar con la superior y la izquierda con la derecha tal y
como se explica en el ejemplo.

8. Tiene que resultar el menor nmero de grupos posibles siempre

y cuando no contradiga ninguna de las reglas anteriores. Esto es el
nmero de grupos ha de ser minimal.

Condicin dont care

Una condicin dont care es una combinacin de entradas para las
cuales la salida no importa si es un 1 o un 0. Esto permite al diseador
del circuito simplificar su implementacin ya que le permite elegir el
valor de salida ms favorable para sus intereses.
Un ejemplo de la aparicin de esta condicin dont care es la siguientes:
supngase un circuito que a su entrada recibe un cdigo BCD (de 4 bits) y
que debe proporcionar una salida (0 o 1) en base a unas ciertas
especificaciones. Se har un ejemplo, en el que se indique con un 1 si el
numero a la entrada es primo, o lo que es lo mismo, si corresponde a los
decimales 2, 3, 5, 7.
Como se recordar, el cdigo BCD nicamente representa los valores 09
en decimal. Debido a esto, slo trabaja con 10 combinaciones de las 24 =
16 posibles. Esto quiere decir, que para las 6 combinaciones sobrantes la
salida que proporcione el circuito es indiferente y constituyen condiciones
dont care. La tabla de verdad que reflejara este funcionamiento es la
siguiente:

BCD

X3

X2

X1

X0

En esta tabla se ha incluido

como primera columna el valor
decimal BCD al que
corresponde la combinacin de
4 bits, X3,X2,X1,X0. A partir del
valor 9 se puede observar que
se han marcado con x el resto
de combinaciones binarias ya
que no se utilizan en BCD.
La salida correspondiente a
cada una de estas
combinaciones binarias se
marca tambin con x. De esta
forma, se indica que esa
combinacin tiene la condicin
dont care y que por tanto, el
valor que aparezca en la salida
no importa.

Mapas de Karnaugh con dont care

Estas condiciones dont care introduce una variacin significativa a la
hora de efectuar la simplificacin de los mapas de Karnaugh ya que el
diseador, a la hora de formar los grupos, podr elegir y asignar a cada
uno de los valores de x el valor 1 o 0 segn le convenga.
Le interesar asignar a una x un valor 1 si la casilla, adyacente a otras de
valor 1, permite crear un grupo ms grande y por lo tanto se obtiene una
mayor simplificacin. En caso contrario, le interesar asignar a x el
valor 0.
Siguiente con el ejemplo de este apartado, si trasladamos al Mapa de
Karnaugh la tabla de verdad que describe la funcin se obtendr lo
siguiente:

En este mapa se puede observar que las casillas con los valores decimales
2, 3, 5 y 7 deben ser obligatoriamente 1 (son nmeros primos). Las casillas
con los valores decimales 0, 1, 4, 6, 8, 9 deben ser obligatoriamente 0 (no
son nmeros primos). Y finalmente, los valores decimales 10..15 ostentan la
condicin de dont care.
Siguiendo el procedimiento indicado se realiza la creacin de grupos o
cubos. En la figura siguiente se puede observar la agrupacin elegida:

Se han creado dos grupos:

Azul: Este grupo inicialmente slo contena las casillas 2 y 3, pero se ha decidido, en
aras de obtener un grupo mayor, considerar que las x de las casillas 10 y 11 son 1.
Por tanto, se forma un grupo de cuatro 1.
Verde: Este grupo inicialmente estaba compuesto por las casillas 5 y 7, pero al
considerar que las x de las casillas 13 y 15 son 1 se puede construir un grupo mayor
de cuatro 1.
De forma implcita, se ha considerado que las x de las casillas 12 y 14 valen 0 ya que
no sirven al objetivo de ampliar los grupos de 1 existentes.
La funcin resultante ser por tanto:
S = X2X1 + X2X0
Si no se hubiera hecho uso de este grado de libertad que proporcionan las condiciones
dont care se habra supuesto en el procedimiento anterior que todas las x son 0.
Se puede comprobar que, en ese caso, el resultado habra proporcionado dos grupos
de 2 unos. Cada grupo de 2 unos da lugar a un trmino con 3 variables que es ms
complejo que los de 2 variables ( los obtenidos teniendo en cuenta las condiciones
dont care).

Ejercicios resueltos