Informe 6: Uso de Mapas de Karnaugh para la

solución de problemas lógicos combinacionales

Guerrón Harold1 , Yumiguano Elizabeth2
Escuela Politécnica Nacional.
Facultad de Ingenierı́a Eléctrica y Electrónica
Departamento de Telecomunicaciones y Redes de la Información
Quito, Ecuador
CP-Sistemas Digitales GR2
harold.guerron@epn.edu.ec1 ,elizabeth.yumiguano@epn.edu.ec2

I. I NDIQUE LAS VENTAJAS Y DESVENTAJAS DEL USO DE
LOS MAPAS DE K ARNAUGH EN LA REDUCCI ÓN DE
FUNCIONES L ÓGICAS .
A. Ventajas:
• Proporciona una representación visual fácil de una
función lógica simple para ayudar a encontrar su ex-
presión más simple.
• Minimiza las expresiones booleanas sin necesidad de usar
varios teoremas y cálculos booleanos
• Minimiza el número de puertas lógicas utilizadas para
implementar un circuito.
El mapa K de 6 variables es una extensión del de 4
variables, aunque ahora es necesario alojar a 26 = 64 casillas.
La representación cuando las variables son ABCDEF serı́a el
mostrado en la Figura 1.
Nótese que ahora una casilla, además de ser adyacente en
forma horizontal o vertical, es adyacente a la casilla que
ocupa la misma posición en el cuadrado cercano horizontal y
en el cuadrado cercano vertical.

B. Desventajas:
• No es adecuado cuando el número de variables involu-
cradas excede de cuatro.
• Se debe tener cuidado al rellenar cada celda con la entrada
relevante, como un 0, 1 o términos no importan .

II. C ONSULTE ACERCA DE LOS MAPAS K DE 6

VARIABLES . R EALICE UN EJEMPLO .

Un mapa de Karnaugh proporciona un método gráfico para

agrupar expresiones con factores comunes y, por lo tanto, Fig. 2. Ejemplo de formación de grupos para simplificación de mapa K de
eliminar variables. El mapa de Karnaugh también se puede 6 variables
describir como un arreglo especial de una tabla de verdad

Para la simplificación del mapa de Karnaugh de 6 variables

Fig. 1. Mapa K 6 variables
se debe tener en cuenta que cualquier casilla del primer
cuadro es adyacente a las casillas que están a su alrededor y
también a las casillas que están ocupando la misma posición
en el cuadro del lado derecho y del cuadro inferior.
El grupo verde está formado por 16 términos entre los 4
mapas K individuales. En este grupo, AB sigue cambiando
para que sean eliminados del término. C y E también
están cambiando, por lo que también serán eliminados del
término. Por lo tanto, el término se convertirá en DF porque
permanecerán sin cambios en todo el grupo.
El grupo rojo está formado por 4 términos . En este grupo,
B está cambiando, por lo que será eliminado. D también está
cambiando. Por lo tanto, las variables sin cambios restantes
harán que el término sea.ACEF
 A B C D E F S
El grupo azul también se compone de 4 minutos. Las únicas 32 1 0 0 0 0 0 1
variables cambiantes son DF en todo este grupo, por lo que 33 1 0 0 0 0 1 0
se eliminarán del término. Las variables no modificadas en 34 1 0 0 0 1 0 0
este grupo son ABCE. 35 1 0 0 0 1 1 0
36 1 0 0 1 0 0 0
El grupo amarillo también es un grupo de términos y las 37 1 0 0 1 0 1 0
variables cambiantes en este grupo son AE. Las variables que 38 1 0 0 1 1 0 0
permanecen sin cambios son BCDF en este grupo. 39 1 0 0 1 1 1 0
40 1 0 1 0 0 0 1
El grupo negro también tiene 4 términos. Este grupo produce 41 1 0 1 0 0 1 1
el término ABEF porque son las variables que no cambian. 42 1 0 1 0 1 0 1
La dificultad de formar grupos hace que la probabilidad de 43 1 0 1 0 1 1 0
cometer errores aumente significativamente con el número de 44 1 0 1 1 0 0 0
45 1 0 1 1 0 1 1
variables consideradas. 46 1 0 1 1 1 0 0
Un ejemplo
P de aplicación se presenta a continuación: 47 1 0 1 1 1 1 1
F = (0, 2, 4, 8, 10, 13, 15, 16, 18, 20, 23, 24, 26, 32, 34, TABLE III
TABLA DE V ERDAD DE M APA K 6 VARIABLES PARTE 3
40, 41, 42, 45, 47, 48, 50, 56, 57, 58, 60, 61)
Primero escribimos las tablas para cada una de las
combinaciones. En estas tendremos 64 elementos. A B C D E F S
48 1 1 0 0 0 0 1
49 1 1 0 0 0 1 0
50 1 1 0 0 1 0 1
51 1 1 0 0 1 1 0
52 1 1 0 1 0 0 0
53 1 1 0 1 0 1 0
A B C D E F S 54 1 1 0 1 1 0 0
0 0 0 0 0 0 0 1 55 1 1 0 1 1 1 0
1 0 0 0 0 0 1 0 56 1 1 1 0 0 0 1
2 0 0 0 0 1 0 1 57 1 1 1 0 0 1 1
3 0 0 0 0 1 1 0 58 1 1 1 0 1 0 1
4 0 0 0 1 0 0 1 59 1 1 1 0 1 1 0
5 0 0 0 1 0 1 0 60 1 1 1 1 0 0 1
6 0 0 0 1 1 0 0 61 1 1 1 1 0 1 1
7 0 0 0 1 1 1 0 62 1 1 1 1 1 0 0
8 0 0 1 0 0 0 1 63 1 1 1 1 1 1 0
9 0 0 1 0 0 1 0 TABLE IV
TABLA DE V ERDAD DE M APA K 6 VARIABLES PARTE 4
10 0 0 1 0 1 0 1
11 0 0 1 0 1 1 0
12 0 0 1 1 0 0 0
13 0 0 1 1 0 1 1 CDEF 00 01 11 10
14 0 0 1 1 1 0 0 00 1 0 0 1
15 0 0 1 1 1 1 1 01 1 0 0 0
TABLE I 11 0 1 1 0
TABLA DE V ERDAD DE M APA K 6 VARIABLES PARTE 1 10 1 0 0 1
TABLE V
M APA K PARTE 1 A = 0, B = 0

A B C D E F S CDEF 00 01 11 10
16 0 1 0 0 0 0 1
17 0 1 0 0 0 1 0 00 1 0 0 1
18 0 1 0 0 1 0 1 01 0 0 0 0
19 0 1 0 0 1 1 0 11 0 1 1 0
20 0 1 0 1 0 0 1 10 1 1 0 1
TABLE VI
21 0 1 0 1 0 1 0
M APA K PARTE 2 A = 1, B = 0
22 0 1 0 1 1 0 0
23 0 1 0 1 1 1 1
24 0 1 1 0 0 0 1
25 0 1 1 0 0 1 0 CDEF 00 01 11 10
26 0 1 1 0 1 0 1 00 1 0 0 1
27 0 1 1 0 1 1 0 01 1 0 1 0
28 0 1 1 1 0 0 0 11 0 0 0 0
29 0 1 1 1 0 1 0 10 1 0 0 1
30 0 1 1 1 1 0 0 TABLE VII
31 0 1 1 1 1 1 0 M APA K PARTE 3 A = 0, B = 1
TABLE II
TABLA DE V ERDAD DE M APA K 6 VARIABLES PARTE 2
 CDEF 00 01 11 10
de resolución del algoritmo Quine-McCluskey crece de forma
00 1 0 0 1
01 0 0 0 0 exponencial con el aumento del número de variables. Se
11 1 1 0 0 puede demostrar que para una función de n variables el lı́mite
10 1 1 0 1 superior del número de implicantes primos es 3n /n. Si n = 32
TABLE VIII
M APA K PARTE 4 A = 1, B = 1 habrá más de 6.5 ∗ 1015 implicantes primos. [3]
IV. U TILICE EL M ÉTODO DE Q UINE – MC C LUSKEY
PARA SIMPLIFICAR EL NUMERAL 3.3 DEL TRABAJO
(0, 2, 8, 10, 16, 18, 24, 26, 32, 34, 40, 42, 48, 50, 56, 58) PREPARATORIO .
- D F (A, B, C y E son variables que cambian , entonces son A3 A2 A1
A0 O3 O2 O1 O0
eliminados) 0 0 00 0 0 0 0
0 0 10 0 0 0 1
(41, 45, 57, 61) - ACEF (B y D son variables que 0 0 01 0 0 1 1
cambian, por lo que se eliminan) 0 0 11 0 0 1 0
0 1 00 0 1 1 0
0 1 10 0 1 1 1
(13, 15, 45, 47) - BCDF (A y E son variables que 0 1 01 0 1 0 1
cambian, por lo que se eliminan) 0 1 11 0 1 0 0
1 0 00 1 1 0 0
1 0 10 1 1 0 1
(0, 4, 16, 20) - A C EF ’(B y D son variables que 1 0 01 1 1 1 1
cambian, por lo que se eliminan) 1 0 11 1 1 1 0
1 1 00 1 0 1 0
1 1 10 1 0 1 1
(56, 57, 60, 61) - ABCE(D y F son variables que 1 1 01 1 0 0 1
cambian, por lo que se eliminan) 1 1 11 1 0 0 0
TABLE IX
TABLA DE V ERDAD DEL E JERCICIO 3 DEL T RABAJO P REPARATORIO
Hay un 1 en la celda 23, que no se puede enlazar con
ninguna celda adyacente, por lo tanto, no se puede simplificar
más y dejar como está. ABCDEF

Por tanto la salida será: Se procede a sacar los implicantes para la salida O3
S = D F +ACEF +BCDF +AC EF +ABCE+ABCDEF
Número A3 A2 A1 A0 Índice
III. I NVESTIGUE ACERCA DEL M ÉTODO DE 8 1 0 0 0 1
SIMPLIFICACI ÓN DE Q UINE – M C C LUSKEY. A NALICE 9 1 0 0 1 2
LAS VENTAJAS Y DESVENTAJAS DE LA UTILIZACI ÓN DE 10 1 0 1 0 2
11 1 0 1 1 3
ESTE M ÉTODO EN EL DISE ÑO DE CIRCUITOS DIGITALES
12 1 1 0 0 2
COMBINACIONALES . 13 1 1 0 1 3
El Algoritmo Quine–McCluskey es un método de 14 1 1 1 0 3
15 1 1 1 1 4
simplificación de funciones booleanas desarrollado por TABLE X
Willard Van Orman Quine y Edward J. McCluskey. Es I MPLICACI ÓN DE O RDEN 1.
funcionalmente idéntico a la utilización del mapa de
Karnaugh, pero su forma tabular lo hace más eficiente para
su implementación en lenguajes computacionales, y provee
un método determinista de conseguir la mı́nima expresión de Grupo Número A3 A2 A1 A0
una función booleana. 1 8 1 0 0 0
9 1 0 0 1
2 10 1 0 1 0
12 1 1 0 0
Pasos 11 1 0 1 1
3 13 1 1 0 1
14 1 1 1 0
1) Encontrar todos los implicantes primos de la función. 4 15 1 1 1 1
TABLE XI
I MPLICACI ÓN DE O RDEN 1.
2) Usar esos implicantes en una tabla de implicantes pri-
mos para encontrar los implicantes primos esenciales,
los cuales son necesarios y suficientes para generar la
función.
Aunque es más práctico que el mapa de Karnaugh, cuando
se trata de trabajar con más de cuatro variables, el tiempo
 Número A3 A2 A1 A0 Número A3 A2 A1 A0
8, 9 1 0 0 - 4, 5 0 1 0 -
8, 10 1 0 - 0 4, 6 0 1 - 0
8, 12 1 - 0 0 5, 7 0 1 - 1
9, 11 1 0 - 1 6, 7 0 1 1 -
9, 13 1 - 0 0 8, 9 1 0 0 -
10, 11 1 0 1 - 8, 10 1 0 - 0
10, 14 1 - 1 0 9, 11 1 0 - 1
12, 13 1 1 0 - 10, 11 1 0 1 -
12, 14 1 1 - 0 TABLE XVII
11, 15 1 - 1 1 I MPLICACI ÓN DE O RDEN 2.
13, 15 1 1 - 1
14, 15 1 1 1 -
TABLE XII Número A3 A2 A1 A0
I MPLICACI ÓN DE O RDEN 2. 4, 5, 6, 7 0 1 - -
8, 9, 10, 11 1 0 - -
TABLE XVIII
Número A3 A2 A1 A0 I MPLICACI ÓN DE O RDEN 3.
8, 9, 10, 11 1 0 - -
8, 9, 12, 13 1 - 0 -
8, 10, 12, 14 1 - - 0
9, 11, 13, 15 1 - - 1 O2 = A3 A2 + A3 A2
10, 11, 14, 15 1 - 1 - ∴ O2 = A3 ⊕ A2
12, 13, 14, 15 1 1 - -
TABLE XIII
I MPLICACI ÓN DE O RDEN 3. Se procede a sacar los implicantes para la salida O1
Número A3 A2 A1 A0 Índice
2 0 0 1 0 1
3 0 0 1 1 2
4 0 1 0 0 1
5 0 1 0 1 2
10 1 0 1 0 2
Número A3 A2 A1 A0
11 1 0 1 1 3
8, 9, 10, 11, 12, 13, 14, 15 1 - - - 12 1 1 0 0 2
TABLE XIV
13 1 1 0 1 3
I MPLICACI ÓN DE O RDEN 3. TABLE XIX
I MPLICACI ÓN DE O RDEN 1.

∴ O3 = A3
Grupo Número A3 A2 A1 A0
Se procede a sacar los implicantes para la salida O2 2 0 0 1 0
1
4 0 1 0 0
Número A3 A2 A1 A0 Índice 3 0 0 1 1
4 0 1 0 0 1 5 0 1 0 1
2
5 0 1 0 1 2 10 1 0 1 0
6 0 1 1 0 2 12 1 1 0 0
7 0 1 1 1 3 11 1 0 1 1
3
8 1 0 0 0 1 13 1 1 0 1
TABLE XX
9 1 0 0 1 2
I MPLICACI ÓN DE O RDEN 1.
10 1 0 1 0 2
11 1 0 1 1 3
TABLE XV
I MPLICACI ÓN DE O RDEN 1.
Número A3 A2 A1 A0
2, 3 0 0 1 -
2, 10 - 0 1 0
3, 11 - 0 1 1
Grupo Número A3 A2 A1 A0
4, 5 0 1 0 -
4 0 1 0 0 4, 12 - 1 0 0
1
8 1 0 0 0 5, 13 - 1 0 1
5 0 1 0 1 10, 11 1 0 1 -
6 0 1 1 0 12, 13 1 1 0 -
2
9 1 0 0 1 TABLE XXI
10 1 0 1 0 I MPLICACI ÓN DE O RDEN 2.
7 0 1 1 1
3
11 1 0 1 1
TABLE XVI
I MPLICACI ÓN DE O RDEN 1. O1 = A2 A1 + A1 A2
∴ O1 = A1 ⊕ A2
Se procede a sacar los implicantes para la salida O1
 Número A3 A2 A1 A0
Mapas K para facilitar su simplificación y como se debe
2, 3, 10, 11 - 0 1 -
4, 5, 12, 13 - 1 0 - realizar el proceso para obtener funciones de las salidas.
TABLE XXII Elizabeth Yumiguano
I MPLICACI ÓN DE O RDEN 3.
1) Los mapas K nos permiten reducir expresiones lógicas,
sin usar teoremas o álgebra booleana, es un método
Número A3 A2 A1 A0 Índice bastante gráfico y fácil de usar.
1 0 0 0 1 1 2) Es recomendable la aplicación de mapas K hasta para 6
2 0 0 1 0 1
5 0 1 0 1 2
variables, ya que con más de estas se vuelve confuso
6 0 1 1 0 2 la formación de grupos para la simplificación de la
9 1 0 0 1 2 expresión.
10 1 0 1 0 2 3) Los mapas K nos permiten reducir expresiones lógicas y
13 1 1 0 1 3
14 1 1 1 0 3 por tanto el número de compuertas que serán usadas para
TABLE XXIII implementar el circuito deseado, lo cual es un beneficio
I MPLICACI ÓN DE O RDEN 1. económico.
B. Recomendaciones
Grupo Número A3 A2 A1 A0
1 0 0 0 1 1) Tener cuidado al realizar las conexiones pueden resultar
1
2 0 0 1 0 confusas las mismas si no se tiene precaución.
5 0 1 0 1 2) Comprobar que las compuertas estén correctamente po-
6 0 1 1 0
2 larizadas.
9 1 0 0 1
10 1 0 1 0 Se debe tener precaución en el relleno de cada celda de los
13 1 1 0 1
3
14 1 1 1 0
mapas, ya que estos no están en el orden en el que se
TABLE XXIV encuentran las tablas de verdad y pueden existir confusiones.
I MPLICACI ÓN DE O RDEN 1.
R EFERENCES
Número A3 A2 A1 A0 [1] Sergio Noriega. Funciones canónicas y Di-
1, 5 0 - 0 1 agramas de Karnaugh. Universidad Nacional
1, 9 - 0 0 1 de La Plata, 2003.[ En lı́nea] Disponible en:
https://catedra.ing.unlp.edu.ar/electrotecnia/islyd/apuntes/karna
2, 6 0 - 1 0
ugh2003.pdf
2, 10 - 0 1 0
[2] Anónimo, 12 de mayo del 2007, “WAYBACK-
5, 13 - 1 0 1
MACHINE”, Algoritmo de simplificación de
6, 14 - 1 1 0 Quine-McCluskey, Disponible [En Lı́nea: ]
9, 13 1 - 0 1 http://134.193.15.25/vu/course/cs281/lectures/simplification/qu
10, 14 1 - 1 0 ine-McCluskey.html
TABLE XXV
I MPLICACI ÓN DE O RDEN 2.

Número A3 A2 A1 A0
1, 5, 9, 13 - - 0 1
2, 6, 10, 14 - - 1 0
TABLE XXVI
I MPLICACI ÓN DE O RDEN 3.

O0 = A1 A0 + A0 A1
∴ O0 = A1 ⊕ A0

V. C ONCLUSIONES Y R ECOMENDACIONES
A. Conclusiones
Harold Guerrón
1) Las ventajas de usar Mapas K es que se reduce el
número de variables dependiendo de la agrupación de
unos que se realice, mientras mayor de grupos de 1 se
tome se reducirán las variables. Cabe recalcar que esta
agrupación debe ser múltiplo de 2n
2) En la práctica se evidencio y analizo el funcionamiento
y el manejo de los circuitos combinacionales usando