Rebeca Oropeza

C.I 26.261.017
Circuitos Digitales SAIA B
Prof. Marienny Arrieche
 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 S En esta tabla se ha incluido como
0 0 0 0 0 0 primera columna el valor
1 0 0 0 1 0 decimal BCD al que corresponde
2 0 0 1 0 1 la combinacin de 4 bits,
3 0 0 1 1 1 X3,X2,X1,X0. A partir del valor 9
4 0 1 0 0 0 se puede observar que se han
5 0 1 0 1 1 marcado con x el resto de
6 0 1 1 0 0 combinaciones binarias ya que
7 0 1 1 1 1 no se utilizan en BCD.
8 1 0 0 0 0 La salida correspondiente a cada
9 1 0 0 1 0 una de estas combinaciones
x 1 0 1 0 x binarias se marca tambin con
x 1 0 1 1 x x. De esta forma, se indica que
x 1 1 0 0 x esa combinacin tiene la
x 1 1 0 1 x condicin dont care y que por
x 1 1 1 0 x tanto, el valor que aparezca en la
x 1 1 1 1 x 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