Mapas Karnaugh Jdav

U N IV ER SID A D A U TÓN OM A D E B A JA C A LIFOR N IA
FA C U LTA D D E C IEN C IA S D E LA IN G EN IER ÍA ,

A D M IN ISTR A TIV A S Y SOC IA LES - U N ID A D TEC A TE
M étodo de m inim ización de funciones

lógicas usando M apas de K arnaugh.
P rofesor: Dr. Jesús David Avilés Velázquez
M ateria: Circuitos Digitales

C arrera: Ingeniero en Mecatrónica
FACULTAD DE CIENCIAS DE LA INGENIERÍA,
ADMINISTRATIVAS Y SOCIALES - UNIDAD TECATE
1. RESUMEN
En este trabajo se introduce al alumno en el método gráfico de minimización de funciones lógicas,
conocido como Mapas de Karnaugh, para diseñar circuitos electrónicos digitales que interactúan con
dispositivos externos y actuadores del mundo real. Ejemplos de simulaciones de circuitos digitales son
desarrollados para ilustrar la funcionalidad de la minimización de funciones por Mapas de Karnaugh.
2. OBJETIVOS
Los objetivos de este trabajo están enfocados en el desarrollo de habilidades y conocimientos del
alumno en el diseño de circuitos digitales simplificados. Específicamente, el alumno será capaz de:
 Analizar los arreglos de los Mapas de Karnaugh según el número de variables de entrada en
las funciones lógicas.
 Interpretar la minimización de funciones lógicas usando las agrupaciones de las celdas
adyacentes de los Mapas de Karnaugh.
 Comparar la simplificación con mintérminos y maxtérminos.
 Analizar las condiciones no importa en los Mapas de Karnaugh.
 Aplicar los mapas de Karnaugh en el diseño circuitos digitales simplificados.
3. INTRODUCCIÓN
La mayoría de las aplicaciones industriales y avances tecnológicos están involucrados con el

funcionamiento de los circuitos digitales, los cuales pueden ser analizados y diseñados mediante el
comportamiento de las funciones lógicas relacionadas a las Tablas de Verdad. En la Literatura,
existen algunos métodos de diseño de circuitos digitales, los cuales están basados en la minimización
de las funciones lógicas que consideran el menor número de expresiones algebraicas (componentes
electrónicos) con el menor número de variables (entradas) para desarrollar actividades específicas,
como el control de motores de corriente directa y corriente alterna, encendido de lámparas mediante
temporizadores, operaciones aritméticas usando el formato binario, entre otras.
En particular, el método gráfico de Mapas de Karnaugh, desarrollado por el físico-matemático Maurice

Karnaugh en los Laboratorios Bell, representa una alternativa de diseño de los sistemas digitales para
obtener el menor número de componentes electrónicos con el menor número variables de entradas,
simplificando los cálculos extensos de las expresiones lógicas por medio del reconocimiento de patrones,
sin usar herramientas analíticas complejas. Los Mapas de Karnaugh tienen una representación similar
a las Tablas de Verdad porque ambos dependen de las variables de entrada de las funciones lógicas.
De hecho, el número de variables de entrada n en la Tabla de Verdad está asociado a n-columnas y
2n-filas, mientras que los Mapas de Karnaugh son bosquejados por un arreglo que contiene 2n-celdas,
las cuales están ordenadas de acuerdo a su peso y a la secuencia del código Gray (ver Figura 1). El
método de Mapas de Karnaugh consiste en tres etapas principales: (i) construcción de un arreglo
bidimensional que depende del número de variables de entradas, siendo completado por valores
binarios, los cuales están relacionados con las expresiones de maxtérminos y mintérminos, definidas
por las tablas de verdad, (ii) agrupaciones simples de las celdas adyacentes del arreglo, y (iii)
2
simplificación de las funciones lógicas por cancelación de variables complementadas y no

complementadas.
Figura 1. Ejemplo de Mapa de Karnaugh con 4 entradas [1].
En este trabajo, desarrollaremos el método de minimización de funciones lógicas de los Mapas de

Karnaugh para diseñar circuitos digitales simplificados, considerando la similitud de los esquemas de
suma de productos/mintérminos y producto de sumas/maxtérminos para un número máximo de
cuatro variables. Las funciones lógicas resultantes pueden ser verificadas por simuladores para su
aplicación real en circuitos digitales.
4. CONCEPTOS BÁSICOS
La representación de la tabla de verdad de una función Booleana es única, pero puede expresarse
algebraicamente de formas diferentes. Aunque, ellas son equivalentes. En general, las funciones lógicas
pueden ser representadas como una suma de mintérminos o productos de maxtérminos. Estas
expresiones son conocidas como funciones lógicas en forma canónica.
Suma de productos – mintérminos y producto de sumas – maxtérminos

Un mintérmino es un producto canónico de las variables de entrada que están involucradas en una
Tabla de Verdad, cuyas entradas aparecen en su forma normal cuando alcanzan el valor de 1 o en su
forma complementada cuando toman el valor de 0. Bajo estas condiciones, podemos expresar de forma
algebraica una función lógica a partir de la suma de los mintérminos de la Tabla de verdad, los cuales
producen 1 en la función. Esta función lógica es conocida como Suma de productos o mintérminos.
Por otro lado, un maxtérmino es una suma canónica de las entradas que están en una Tabla de
Verdad, cuyas entradas usan una lógica negativa, es decir, aparecen en su forma normal si alcanzan
el valor de 0 o manejan su forma complementada cuando toma el valor de 1. Con estas características,
una función lógica es expresada de manera algebraica considerando los productos de los maxtérminos
de la Tabla de Verdad, los cuales producen 0 en la función. La función lógica es definida como Producto
de Sumas o Maxtérminos. En la siguiente Tabla de Verdad, observamos el conjunto de ocho
mintérminos y ocho maxtérminos que están dados para tres variables de entrada.
3
Entradas m intérm inos M axtérm inos
A B C térm ino P roducto térm ino Sum a
0 0 0 𝑚0 𝐴̅𝐵̅𝐶̅ 𝑀0 𝐴+𝐵+𝐶
0 0 1 𝑚1 𝐴̅𝐵̅𝐶 𝑀1 𝐴 + 𝐵 + 𝐶̅
0 1 0 𝑚2 𝐴̅𝐵𝐶̅ 𝑀2 𝐴 + 𝐵̅ + 𝐶
0 1 1 𝑚3 𝐴̅𝐵𝐶 𝑀3 𝐴 + 𝐵̅ + 𝐶̅
1 0 0 𝑚4 𝐴𝐵̅ 𝐶̅ 𝑀4 𝐴̅ + 𝐵 + 𝐶
1 0 1 𝑚5 𝐴𝐵̅ 𝐶 𝑀5 𝐴̅ + 𝐵 + 𝐶̅
1 1 0 𝑚6 𝐴𝐵𝐶̅ 𝑀6 𝐴̅ + 𝐵̅ + 𝐶
1 1 1 𝑚7 𝐴𝐵𝐶 𝑀7 𝐴̅ + 𝐵̅ + 𝐶̅
Tabla 1. Tabla de Verdad con mintérminos y Maxtérminos para tres entradas.

Desarrollaremos un ejemplo para ilustrar que los mintérminos y Maxtérminos producen la misma
funcionalidad lógica, pero considerando esquemas complementarios. Considere la siguiente Tabla de
Verdad para dos entradas.
Entradas Fun ción m intérm inos M axtérm inos

salida
A B F(A, B) térm ino P roducto térm ino Sum a
0 0 1 𝑚0 𝐴̅𝐵̅ − −
0 1 0 − − 𝑀1 𝐴 + 𝐵̅
1 0 0 − − 𝑀2 𝐴̅ + 𝐵
1 1 1 𝑚3 𝐴𝐵 − −
Tabla 2. Tabla de Verdad con mintérminos y Maxtérminos para dos entradas.
Sum a de productos: Para este ejemplo, se construye la función lógica usando la Suma de productos
o mintérminos de la Tabla de Verdad, descrita por la ecuación:
𝐹(𝐴, 𝐵) = ∑(𝑚0 , 𝑚3 ) = ∑(0, 3)
= 𝐴̅ 𝐵̅ + 𝐴 𝐵
P roducto de sum as: Desarrollamos la función lógica considerando el Producto de las Sumas o
Maxtérminos de la Tabla de Verdad, dada por la expresión algebraica:
𝐹(𝐴, 𝐵) = ∏(𝑀1 , 𝑀2 ) = ∏(1, 2)
= (𝐴 + 𝐵̅ )(𝐴̅ + 𝐵)
4
Ambas técnicas son equivalentes porque producen un comportamiento lógico similar:
𝐹(𝐴, 𝐵) = ∑(𝑚0 , 𝑚3 ) = ∏(𝑀1 , 𝑀2 )
= 𝐴̅ 𝐵̅ + 𝐴 𝐵 = (𝐴 + 𝐵̅ )(𝐴̅ + 𝐵)
Los diagramas lógicos de suma de productos y producto de sumas, son mostrados en la Figura 2.
(a) (b)
Figura 2. Diagramas lógicos de los circuitos digitales.
(a) Suma de productos-mintérminos. (b) Producto de Sumas- Maxtérminos.
5. MAPAS DE KARNAUGH
El método gráfico de Mapas de Karnaugh, desarrollado por el físico-matemático Maurice Karnaugh
en los Laboratorios Bell en 1953, representa una alternativa de diseño de los sistemas digitales para
un número reducido de variables de entradas, simplificando los cálculos extensos de las expresiones
lógicas por medio del reconocimiento de patrones, sin usar herramientas analíticas complejas.
Particularmente, los Mapas de Karnaugh es un método práctico para minimizar funciones lógicas que
dependen de un máximo de cuatro variables de entrada, porque existe complejidad de desarrollarlos
para funciones de más de cinco variables de entrada.
Los Mapas de Karnaugh tienen una representación similar a las Tablas de Verdad porque ambos
dependen de las variables de entrada de las funciones lógicas. De hecho, el número de variables de
entrada n en la Tabla de Verdad está asociado a n-columnas y 2n-filas, mientras que los Mapas de
Karnaugh son bosquejados por un arreglo bidimensional que contiene 2n-celdas, las cuales están
ordenadas de acuerdo a su peso y a la secuencia del código Gray. En la Figura 3, se observan las
similitudes de Mapa de Karnaugh con la Tabla de Verdad para dos variables de entrada (A, B) y una
función de salida F(A, B). En este caso, el Mapa de Karnaugh está representado por un arreglo de
cuatro celdas asociadas a las filas para la entrada A y a las columnas para la entrada B, habiendo
una correspondencia inmediata con la distribución de las cuatro filas de combinaciones (2n, n = 2) en
la Tabla de Verdad. Finalmente, los valores de la función de la Tabla de Verdad son transferidos a
las celdas del Mapa de Karnaugh.
5
Entradas Salida
B
A B F A 0 1
0 0 1
0 1 1
0 1 1
1 1 0
1 0 1
1 1 0
(a) (b)
Figura 3. Mapa de Karnaugh y Tabla de Verdad para dos entradas (A, B).
La Figura 4 muestra el Mapa de Karnaugh y la Tabla de Verdad para el caso de tres variables de
entradas (A, B, C). En particular, el Mapa de Karnaugh está dado por un arreglo bidimensional de 8
celdas que coincide con las 8 filas de combinaciones de la Tabla de Verdad. Los valores de las entradas
en el Mapa de Karnaugh están definidos por la secuencia del código Gray. El arreglo del Mapa de
Karnaugh de ocho celdas también pueden ser bosquejado en forma horizontal, como se observa en la
Figura 5, cambiando la distribución de las variables de entrada.
Entradas Salida
A B C
C F
AB 0 1
0 0 0 1
00 1 1
0 0 1 1
0 1 0 1 01 1 0
0 1 1 0
11 0 1
1 0 0 0
1 0 1 0 10 0 0
1 1 0 0
1 1 1 1
Figura 4. Mapa de Karnaugh y Tabla de Verdad para tres entradas (A, B, C).
BC
A 00 01 11 10
0 1 1 0 0
1 1 0 1 0
Figura 5. Mapa de Karnaugh para tres entradas (A, B, C) en representación horizontal.
6
El Mapa de Karnaugh con cuatro variables de entrada es bosquejado con un arreglo bidimensional de
16 celdas con distribución de valores de entradas por pares. Este gráfico representa de manera sencilla
las 16 filas de las combinaciones de las entradas de la Tabla de Verdad, ver Figura 6. Las entradas
del Mapa de Karnaugh pueden ser establecidas en diferente orden, ya sea en la forma horizontal o
vertical, como se muestra en la Figura 6 (c), donde el par de entradas BA están relacionadas a las
filas de las celdas y el par de entradas DC descritas para las columnas de las celdas. No importa la
modificación del orden las variables de entradas, las funciones lógicas simplificadas serán equivalentes,
incluso desarrollando ambas técnicas de mintérminos y maxtérminos.
De esta forma, podemos establecer una semejanza entre los Mapas de Karnaugh y las Tablas de
Verdad para circuitos digitales que dependen de dos, tres o cuatro variables de entrada.
Entradas Salida
CD
A B C D F
AB 00 01 11 10
0 0 0 0 0
00 0 0 0 0
0 0 0 1 0
01 1 1 1 1
0 0 1 0 0
0 0 1 1 0
11 1 0 0 0
0 1 0 0 1 10 0 1 1 0
0 1 0 1 1
(b)
0 1 1 0 1
0 1 1 1 1
BA
1 0 0 0 0 DC 00 01 11 10
1 0 0 1 1 00 0 0 1 1
1 0 1 0 0
01 0 0 0 1
1 0 1 1 1
11 0 1 0 1
1 1 0 0 1
1 1 0 1 0 10 0 1 0 1
1 1 1 0 0
(c)
1 1 1 1 0
(a)
Figura 6. Tabla de Verdad y Mapa de Karnaugh para cuatro (A, B, C, D).

(a) Tabla de Verdad (b) Mapa de Karnaugh AB/CD (b) Mapa de Karnaugh DC/BA.
7
4.1 Minimización de funciones lógicas usando Mapas de Karnaugh con

mintérminos
La minimización de una función lógica representa una expresión algebraica que contiene el número
menor de términos posibles con el menor número de variables de entrada posibles. Las expresiones
canónicas nos permiten expresar algebraicamente cualquier función lógica. Aunque, estas expresiones
pueden ser extensas. En general, la minimización de funciones lógicas puede ser analizada mediante,
 Álgebra Booleana, es posible transformar una expresión algebraica en otra equivalente con
una menor cantidad de términos, y
 Mapas de Karnaugh, permiten sistematizar la minimización de funciones lógicas por medio
del reconocimiento de patrones.
En esta sección estudiaremos la metodología de los Mapas de Karnaugh. En general, el método de
minimización de los Mapas de Karnaugh con Suma de mintérminos consiste en tres etapas principales:
i. Construcción de un arreglo bidimensional que depende del número de variables de entradas,

siendo completado con valores binarios, los cuales están relacionados con las expresiones
lógicas de maxtérminos y mintérminos definidas en las tablas de verdad,
ii. Agrupaciones simples de 1, 2, 4, 8, 16 celdas adyacentes que contienen 1s en el arreglo, y
iii. Simplificación de las funciones lógicas por cancelación de variables complementadas y no
complementadas. Estas variables canceladas son llamadas variables contradictorias.
A continuación, describimos la metodología de Mapas de Karnaugh con Suma de productos o
mintérminos.
4.1.1 M apas de K arnaugh de dos variables

Los mintérminos representan productos de dos variables de entrada. Las entradas aparecen en su
forma normal (A) cuando alcanzan el valor de 1 o en su forma complementada (𝐴̅) cuando toman el
valor de 0. Bajo estas condiciones, podemos expresar de forma algebraica una función lógica a partir
de la suma de los mintérminos de la Tabla de verdad, los cuales producen 1 en la función. Esta función
lógica es conocida como Suma de productos o mintérminos.
De hecho, los mintérminos expresados en la Tabla de Verdad de dos entradas (A, B) pueden ser
expresados también en el Mapa de Karnaugh de 4 celdas, como se muestra en la Figura 7.
m intérm inos
B
A B térm ino P roducto A 0 1
0 0 𝑚0 𝐴̅ 𝐵̅
0 𝑚0 𝑚1
0 1 𝑚1 𝐴̅ 𝐵
1 0 𝑚2 𝐴 𝐵̅ 1 𝑚2 𝑚3
1 1 𝑚3 𝐴𝐵
Figura 7. Mapa de Karnaugh asociado a los mintérminos de dos entradas.
Para simplificar funciones lógicas con Mapas de Karnaugh, desarrollamos los siguientes pasos.
8
P aso 1: Consideramos la construcción del Mapa de Karnaugh de dos variables basada en la Tabla
de Verdad correspondiente, como está descrito en la Figura 8.
Entradas Salida
B
A B F A 0 1
0 0 1
0 1 1
0 1 1
1 0 1 1 1 0
1 1 0
Figura 8. Ejemplo de Tabla de Verdad y Mapa de Karnaugh con dos entradas.

En este paso, se transfieren los valores de la Tabla de Verdad en las celdas del Mapa de Karnaugh
para la minimización de funciones lógicas. Entonces, expresamos una función lógica, la cual es
determinada por una suma de productos (mintérminos),
𝐹(𝐴, 𝐵) = ∑(𝑚0 , 𝑚1 , 𝑚2 )
= 𝐴̅ 𝐵̅ + 𝐴̅ 𝐵 + 𝐴 𝐵̅
P aso 2: Con la técnica de suma de productos o mintérminos, las celdas que contienen 1s pueden ser
agrupadas por el concepto de adyacencia. Cada celda es adyacente a otras celdas porque comparten
alguno de sus cuatro lados. La adyacencia en las celdas es violada cuando sólo comparten esquinas.
Para Mapas de Karnaugh de dos variables, tenemos las siguientes agrupaciones:
 Un grupo de 1 celda produce un producto de 2 variable.

 Un grupo de 2 celdas produce un término de 1 variable.
 Un grupo de 4 celdas produce el valor de 1.
Aplicando el concepto de la adyacencia de celdas en los Mapas de Karnaugh de dos variables, se

tienen dos grupos con 2 celdas adyacentes cada uno, como se muestra en la Figura 9.
B
B
A 0 1
0
1 1
A
1 1 0
Figura 9. Agrupaciones de celdas adyacentes en Mapa de Karnaugh de dos variables.
P aso 3: En este paso, el Mapa de Karnaugh proporciona la función simplificada mediante la

eliminación de las variables complementadas con las variables no-complementadas, las cuales son
llamadas variables contradictorias.
9
Entonces, se tienen los resultados:
 La cancelación de A en el grupo de celdas adyacentes de color naranja, permaneciendo 𝐵̅ .

 La cancelación de B en el grupo de celdas adyacentes de color verde, quedando 𝐴̅.
De esta forma, la función minimizada obtenida por el Mapa de Karnaugh es
𝐹𝑠𝑖𝑚𝑝𝑙𝑖𝑓 (𝐴, 𝐵) = 𝐴̅ + 𝐵̅
Esta función simplificada, se obtiene por reconocimiento de patrones, similar a la teoría de conjuntos,
sin requerir cálculos extensos del álgebra de Boole. Además, se puede considerar un paso extra para
comparar las funciones original y simplificada, así como la implementación en diagramas lógicos.
P aso Extra: La función simplificada puede ser comparada con su función original del Paso 1, para
verificar la similitud de sus comportamientos lógicos. De hecho, la función original requiere 9
operaciones lógicas con 3 términos que involucran a las dos variables de entrada, mientras que la
función minimizada necesita usar 3 operaciones con dos términos de una variable para desarrollar el
mismo funcionamiento, ver Figura 10.
Entradas Función Función
No simplificada Simplificada
A B 𝐴̅ 𝐵̅ + 𝐴̅ 𝐵 + 𝐴 𝐵̅ 𝐴̅ + 𝐵̅
0 0 1 1
0 1 1 1
1 0 1 1
1 1 0 0
Figura 10. Comportamientos lógicos de función original y simplificada.

Los diagramas esquemáticos de ambas funciones lógicas son mostrados en la Figura 11. Se observan
las desventajas que conllevan circuitos digitales sin un proceso de minimización, por ejemplo, altos
costos por compra de excesos de componentes electrónicos, consumo energético elevado y retardos en
la señal de salida circuito digital implementado.
(a) (b)
Figura 11. Diagramas lógicos de funciones original y simplificada.
(b) Diagrama para función original. (b) Diagrama de función original con Mapas de Karnaugh.
10
El circuito digital simplificado de la Figura 11 (b) puede ser representado equivalentemente por una
única compuerta lógica, debido a la aplicación de un cálculo adicional por el Teorema de Demorgan.
𝐹𝑠𝑖𝑚𝑝𝑙𝑖𝑓 (𝐴, 𝐵) = 𝐴̅ + 𝐵̅
= ̅̅̅̅̅̅̅̅
𝐴+𝐵
Se concluye que la aplicación del Mapa de Karnaugh con algún cálculo simple proporciona un método
práctico y eficiente para minimizar funciones lógicas que contienen dos variables, sin recurrir a cálculos
extensos, y facilitando la implementación en los circuitos digitales, ver Figura 12.
Figura 12. Circuito digital implementado para la función lógica de dos entradas.
Ejem plos adicionales: Se consideran dos ejercicios complementarios para comprender la

minimización de funciones lógicas de dos variables de entrada con Mapas de Karnaugh.
1. Simplificar la función lógica 𝑓(𝐴, 𝐵) = ∑(𝑚0 , 𝑚1 ) = 𝐴̅ 𝐵̅ + 𝐴̅ 𝐵 usando los Mapas de

Karnaugh con la suma de productos o mintérminos. Entonces,
B
A 0 1
- Un único grupo de dos celdas adyacentes, con cancelación de B
0 1 1 - El grupo genera un sólo término de una variable.
𝐹𝑠𝑖𝑚𝑝𝑙𝑖𝑓 (𝐴, 𝐵) = 𝐴̅
1 0 0
Figura 13. Mapa de Karnaugh de Ejercicio 1.
2. Simplificar la función lógica 𝑓(𝐴, 𝐵) = ∑(𝑚0 , 𝑚2 ) = 𝐴̅ 𝐵 + 𝐴 𝐵̅ usando los Mapas de

Karnaugh con la suma de productos o mintérminos. Entonces,
B
- Dos grupos de una celda cada uno, ya que no hay adyacencia.
A 0 1
- Cada grupo genera un término con dos variables.
0 0 1 - No se minimiza la función lógica con Mapas de Karnaugh.
- Usando el álgebra de Boole, se genera
1
1 0 𝐹𝑠𝑖𝑚𝑝𝑙𝑖𝑓 (𝐴, 𝐵) = 𝐴̅ 𝐵 + 𝐴 𝐵̅ = 𝐴 ⊕ 𝐵
Figura 14. Mapa de Karnaugh de Ejercicio 2.
11
4.1.2 M apas de K arnaugh de tres variables

Desarrollamos la metodología gráfica de los Mapas de Karnaugh con la suma de productos para tres
variables de entrada de forma similar al apartado anterior de dos variables. Ahora, los mintérminos
están representados por productos de las tres variables de entrada en la Tabla de Verdad y Mapa de
Karnaugh, mostrado en la Figura 15.
m intérm inos
C
A B C térm ino P roducto AB 0 1
0 0 0 𝑚0 𝐴̅𝐵̅ 𝐶̅ 00 𝑚0 𝑚1
0 0 1 𝑚1 𝐴̅𝐵̅ 𝐶
01 𝑚2 𝑚3
0 1 0 𝑚2 𝐴̅𝐵 𝐶̅
0 1 1 𝑚3 𝐴̅𝐵𝐶 11 𝑚6 𝑚7
1 0 0 𝑚4 𝐴𝐵̅ 𝐶̅
10 𝑚4 𝑚5
1 0 1 𝑚5 𝐴𝐵̅ 𝐶
1 1 0 𝑚6 𝐴𝐵𝐶̅
1 1 1 𝑚7 𝐴𝐵𝐶
Figura 15. Mapa de Karnaugh asociado a los mintérminos de tres entradas.
P aso 1: Se transfieren los valores de la tabla de verdad en el Mapa de Karnaugh correspondiente,

como se muestra en la Figura 16.
Entradas Salida
C
A B C F AB 0 1
0 0 0 1
00 1 1
0 0 1 1
0 1 0 1 01 1 0
0 1 1 0
11 0 1
1 0 0 0
1 0 1 0 10 0 0
1 1 0 0
1 1 1 1
Figura 16. Ejemplo de Tabla de Verdad y Mapa de Karnaugh con tres entradas.
12
P aso 2: Con la técnica de suma de productos o mintérminos, las celdas adyacentes que contienen 1s
son agrupadas. Cada celda es adyacente a otras celdas porque comparten alguno de sus cuatro lados.
La adyacencia en las celdas es violada cuando sólo comparten esquinas. Cada agrupación proporciona
un término en la función lógica simplificada. Las celdas adyacentes pueden ser incluso cíclicas,
agrupando alguna celda en la fila superior del Mapa de Karnaugh con otra celda en la parte inferior.
Se pueden tener Mapas de Karnaugh de tres variables con las siguientes agrupaciones:
 Un grupo de 1 celda proporciona un producto de 3 variables.

 Un grupo de 2 celdas adyacentes proporciona un término de 2 variables.
 Un grupo de 4 celdas adyacentes proporciona un término de 1 variable.
 Un grupo de 8 celdas adyacentes proporciona el valor de 1.
Consideramos los siguientes ejemplos para agrupar celdas adyacentes en los Mapas de Karnaugh, los
cuales son mostrados en la Figura 17. En el ejemplo de la Figura 17 (a), se tienen tres grupos de dos
celdas adyacentes cada uno, y uno de ellos contiene celdas adyacentes cíclicas. Las agrupaciones están
dadas por potencias de dos, no se permiten grupos de tres celdas. Para el ejemplo de la Figura 17 (b),
se tiene 2 grupos con 2 celdas adyacentes y un grupo con 4 celdas adyacentes. Este último generado
por la adyacencia cíclica de las filas superior e inferior. El tercer ejemplo, dado de la Figura 17 (c),
tiene dos grupos de dos celdas adyacentes cada uno y un grupo con una sola celda. El cuarto ejemplo
tiene tres grupos de dos celdas adyacentes cada uno.
C 0 C
1 C C
AB AB 0 1 AB 0 1 AB 0 1
00 1 0 00 1 1 1 1 1
00 1 00
01 0 1 1
01 0 01 1 0 01 1 0
1 1 1 1
11 11 0 11 0 11 0 1
10 1 0 10 1 1 0 0
10 10 0 1
(a) (b) (c) (d)

Figura 17. Ejemplos de Mapas de Karnaugh.
P aso 3: A continuación, se presentan los resultados de la minimización de los ejemplos de los Mapas
de Karnaugh del Paso 2.
(a) La función minimizada obtenida por el Mapa de Karnaugh de la Figura 17 (a), es
𝐹𝑠𝑖𝑚𝑝𝑙𝑖𝑓 (𝐴, 𝐵, 𝐶) = 𝐴𝐵 + 𝐵̅ 𝐶̅ + 𝐵𝐶
Con los tres grupos de dos celdas adyacentes, se produce una suma de tres productos. Cada producto
contiene dos variables de entrada. Con un cálculo simple, se tiene una solución equivalente,
13
𝐹𝑠𝑖𝑚𝑝𝑙𝑖𝑓 (𝐴, 𝐵, 𝐶) = 𝐴𝐵 + ̅̅̅̅̅̅̅̅

𝐵⊕𝐶
(b) La función simplificada obtenida por el Mapa de Karnaugh de la Figura 17 (b), es
𝐹𝑠𝑖𝑚𝑝𝑙𝑖𝑓 (𝐴, 𝐵, 𝐶) = 𝐵̅ + 𝐴̅𝐶̅ + 𝐴𝐶
En este caso, los dos grupos de dos celdas adyacentes determinan los dos mintérminos de dos variables.
El grupo de 4 celdas adyacentes define un solo término. Finalmente, estos términos son sumados. De
hecho, se puede agregar un cálculo simple a la solución otorgada por el mapa de Karnaugh, entonces
̅̅̅̅̅̅̅̅
𝐹𝑠𝑖𝑚𝑝𝑙𝑖𝑓 (𝐴, 𝐵, 𝐶) = 𝐵̅ + 𝐴 ⊕𝐶
(c) La función simplificada obtenida por el Mapa de Karnaugh de la Figura 17 (c), es
𝐹𝑠𝑖𝑚𝑝𝑙𝑖𝑓 (𝐴, 𝐵, 𝐶) = 𝐴̅𝐵̅ + 𝐴̅𝐶̅ + 𝐴𝐵𝐶
Para este ejemplo, los dos grupos de dos celdas adyacentes determinan los dos productos de dos
variables. El grupo de una sola celda define un producto de tres variables. Estos términos son
expresados en la suma de productos.
(d) La función simplificada obtenida por el Mapa de Karnaugh de la Figura 17 (d), es
𝐹𝑠𝑖𝑚𝑝𝑙𝑖𝑓 (𝐴, 𝐵, 𝐶) = 𝐴̅𝐵̅ + 𝐴̅𝐶̅ + 𝐴𝐶
Con los tres grupos de dos celdas adyacentes, se determina una suma de tres productos. Cada producto
contiene dos variables de entrada. Considerando un cálculo simple, se tiene
̅̅̅̅̅̅̅̅
𝐹𝑠𝑖𝑚𝑝𝑙𝑖𝑓 (𝐴, 𝐵, 𝐶) = 𝐴𝐵 + 𝐴 ⊕𝐶
Las funciones minimizadas de los ejemplos anteriores pueden ser comparadas con las funciones
originales para validar la similitud de comportamientos. Finalmente, las funciones minimizadas son
aplicadas en circuitos digitales de forma similar a la presentación de los Mapas de Karnaugh de dos
variables. Esto aspectos serán omitidos en esta sección.
4.1.3 M apas de K arnaugh de cuatro variables

En este apartado, desarrollamos los Mapas de Karnaugh con la suma de productos para cuatro
variables de entrada de manera análoga a los apartados previos. Ahora, los mintérminos son
expresados por un producto de cuatro variables de entrada en la Tabla de Verdad y Mapa de
Karnaugh, mostrados en la Figura 18.
14
m intérm in os
A B C D térm ino P roducto
0 0 0 0 𝑚0 𝐴̅𝐵̅ 𝐶̅ 𝐷
̅ CD
AB 00 01 11 10
0 0 0 1 𝑚1 𝐴̅𝐵̅ 𝐶̅ 𝐷
00 𝑚0 𝑚1 𝑚3 𝑚2
0 0 1 0 𝑚2 𝐴̅𝐵̅ 𝐶𝐷
̅
0 0 1 1 𝑚3 𝐴̅𝐵̅ 𝐶𝐷 01 𝑚4 𝑚5 𝑚7 𝑚6
0 1 0 0 𝑚4 𝐴̅𝐵 𝐶̅ 𝐷
̅
11 𝑚12 𝑚13 𝑚15 𝑚14
0 1 0 1 𝑚5 𝐴̅𝐵 𝐶̅ 𝐷
0 1 1 0 𝑚6 𝐴̅𝐵𝐶𝐷
̅ 10 𝑚8 𝑚9 𝑚11 𝑚10
0 1 1 1 𝑚7 𝐴̅𝐵𝐶𝐷
1 0 0 0 𝑚8 𝐴𝐵̅ 𝐶̅ 𝐷
̅
1 0 0 1 𝑚9 𝐴𝐵̅ 𝐶̅ 𝐷
1 0 1 0 𝑚10 𝐴𝐵̅ 𝐶𝐷
̅
1 0 1 1 𝑚11 𝐴𝐵̅ 𝐶𝐷
1 1 0 0 𝑚12 𝐴𝐵𝐶̅ 𝐷
̅
1 1 0 1 𝑚13 𝐴𝐵𝐶̅ 𝐷
1 1 1 0 𝑚14 ̅
𝐴𝐵𝐶𝐷
1 1 1 1 𝑚15 𝐴𝐵𝐶𝐷
Figura 18. Mapa de Karnaugh asociado a los mintérminos de cuatro entradas.
A continuación, se describe brevemente la metodología de minimización de funciones lógicas con cuatro

variables de entrada, usando los Mapas de Karnaugh.
P aso 1: Se transfieren los valores de la tabla de verdad en el Mapa de Karnaugh correspondiente,

como se muestra en la Figura 16. Observamos que el orden de las entradas de la Tabla de Verdad y
del Mapa de Karnaugh puede ser diferente. Sin embargo, las funciones lógicas desarrolladas serán
equivalentes, porque tienen una funcionalidad lógica semejante.
15
Entradas Salida
D C B A F BA
DC 00 01 11 10
0 0 0 0 1
0 0 0 1 1
00 1 1 0 0
0 0 1 0 0 01 1 1 1 1
0 0 1 1 0
11 0 0 0 0
0 1 0 0 1
0 1 0 1 1 10 0 1 1 0
0 1 1 0 1
0 1 1 1 1
1 0 0 0 0
1 0 0 1 1
1 0 1 0 0
1 0 1 1 1
1 1 0 0 0
1 1 0 1 0
1 1 1 0 0
1 1 1 1 0
Figura 19. Mapa de Karnaugh de cuatro entradas desarrollado mediante la Tabla de Verdad.
P aso 2: Se pueden tener Mapas de Karnaugh de cuatro variables con las siguientes agrupaciones:
 Un grupo de 1 celda proporciona un producto de 4 variables.

 Un grupo de 8 celdas adyacentes proporciona un término de 1 variable.
 Un grupo de 16 celdas adyacentes proporciona el valor de 1.
Consideramos los ejemplos siguientes para agrupar celdas adyacentes en los Mapas de Karnaugh, los
cuales se presentan en la Figura 20. En el primer ejemplo de la Figura 20 (a), se considera un orden
distinto en el par de entradas del mapa de Karnaugh. Este ejemplo tiene tres agrupaciones de celdas
adyacentes. Dos grupos, que contienen 4 celdas adyacentes cada uno, proporcionan un producto de
dos variables para cada grupo. El tercer grupo contiene dos celdas adyacentes, lo cual proporciona un
16
producto de tres variables. En el segundo ejemplo de la Figura 20 (b), se tienen tres grupos de celdas
adyacentes. El primer grupo de este ejemplo tiene 8 celdas adyacentes que conducen a un término de
una variable. Un segundo grupo considera 4 celdas adyacentes, que produce un producto de dos
variables. Finalmente, el último grupo de 2 celdas adyacentes proporciona un producto de 3 variables.
BA CD
DC 00 01 11 10 AB 00 01 11 10
1 1 0 0
00 00 1 0 0 1
1 1 1 1 1 1
01 01 0 1
11 0 0 0 0 11 1 1 0 1
0 1 1 0 1
10 10 1 0 1
(a) (b)
Figura 20. Ejemplos de Mapas de Karnaugh.
P aso 3: Recordemos en este paso que la minimización de una función lógica describe a una función
que contiene el número menor de términos posibles con el menor número de variables de entrada
posibles. Esto proceso, se realiza por reconocimiento de patrones agrupando las celdas adyacentes con
valores de 1s. Además, existe cancelación de las variables complementadas y variables no-
complementadas, las cuales son llamadas variables contradictorias.
A continuación, se presentan los resultados de la minimización de los ejemplos de los Mapas de

Karnaugh del Paso 2.
(a) La función minimizada obtenida por el Mapa de Karnaugh de la Figura 20 (a), es
̅ 𝐵̅ + 𝐷𝐶̅ 𝐴
̅𝐶 + 𝐷
𝐹𝑠𝑖𝑚𝑝𝑙𝑖𝑓 (𝐴, 𝐵, 𝐶, 𝐷) = 𝐷
En este ejemplo, tomamos en cuenta el orden diferente del par de entradas descritas en el Mapa
de Karnaugh con la suma de productos.
(b) La función simplificada obtenida por el Mapa de Karnaugh de la Figura 20 (b), es
̅ + 𝐵𝐶̅ + 𝐴𝐵̅ 𝐶
𝐹𝑠𝑖𝑚𝑝𝑙𝑖𝑓 (𝐴, 𝐵, 𝐶) = 𝐷
En este caso, se alcanza a tener un grupo de 8 celdas adyacentes, conduciendo a un término de

una sola variable. Los términos restantes son resultado de los grupos de 4 y 2 celdas adyacentes.
17
Las funciones minimizadas de los ejemplos anteriores pueden ser comparadas con las funciones
originales para validar la similitud de comportamientos. Finalmente, las funciones minimizadas son
aplicadas en circuitos digitales de forma similar a la presentación de los Mapas de Karnaugh de dos
variables. Esto aspectos serán omitidos en esta sección.
4.2 Minimización de funciones usando Mapas de Karnaugh con

Máxterminos
En esta sección, estudiaremos la metodología de los Mapas de Karnaugh considerando la técnica de
producto de Sumas o Maxtérminos. Un Maxtérmino es una suma canónica de las variables de entrada
que están en una Tabla de Verdad, cuyas entradas usan una lógica negativa, es decir, aparecen en su
forma normal (A) si alcanzan el valor de 0 o manejan su forma complementada (𝐴̅) cuando toma el
valor de 1. Con estas características, una función lógica es expresada de manera algebraica
considerando el Producto de los maxtérminos de la Tabla de Verdad, los cuales producen 0 en la
función. La función lógica es definida como Producto de Sumas o Maxtérminos. Esta metodología es
complementaria a la Suma de productos o mintérminos, la cual fue revisada en el apartado anterior.
El método de minimización de los Mapas de Karnaugh con Producto de Sumas o Maxtérminos consiste
en tres etapas principales:
iv. Construcción de un arreglo bidimensional que depende del número de variables de entradas,
siendo completado con valores binarios, los cuales están relacionados con las expresiones
lógicas de maxtérminos y mintérminos definidas en las tablas de verdad,
v. Agrupaciones simples de 1, 2, 4, 8, 16 celdas adyacentes que contienen 0s en el arreglo, y
vi. Simplificación de las funciones lógicas por cancelación de variables complementadas y no
complementadas. Estas variables canceladas son llamadas variables contradictorias.
A continuación, describimos la metodología de Mapas de Karnaugh con Suma de productos o
mintérminos considerando un ejemplo simple de dos entradas.
P aso 1: Consideramos la construcción del Mapa de Karnaugh de dos variables basado en la Tabla
de Verdad correspondiente, como está descrito en la Figura 21.
Entradas Salida
B
A B F A 0 1
0 0 1
0 1 0
0 1 0
1 0 0 1 0 0
1 1 0
Figura 21. Ejemplo de Tabla de Verdad y Mapa de Karnaugh con dos entradas.
En este paso, se transfieren los valores de la Tabla de Verdad en las celdas del Mapa de Karnaugh
para la minimización de funciones lógicas. Entonces, expresamos una función lógica- canónica, la cual
es determinada por un Producto de Sumas (Maxtérminos),
18
𝐹(𝐴, 𝐵) = ∏(𝑀2 , 𝑀3 ) = ∏( 2, 3)
= (𝐴̅ + 𝐵)(𝐴̅ + 𝐵̅ )
Con la técnica de producto de sumas o Maxtérminos, las celdas que contienen 0s pueden ser agrupadas
por el concepto de adyacencia. Cada celda es adyacente a otras celdas porque comparten alguno de
sus cuatro lados. La adyacencia en las celdas es violada cuando sólo comparten esquinas.
Para Mapas de Karnaugh de dos variables, tenemos las siguientes agrupaciones:
 Un grupo de 1 celda produce un producto de 2 variable.

 Un grupo de 2 celdas produce un término de 1 variable.
 Un grupo de 4 celdas produce el valor de 1.
Aplicando el concepto de la adyacencia de celdas en los Mapas de Karnaugh de dos variables, se tiene
dos grupos con 2 celdas adyacentes cada grupo, como se muestra en la Figura 22.
B
A 0 1
0 1 0
1
0 0
Figura 21. Agrupaciones de celdas adyacentes con 0s
En este paso, el Mapa de Karnaugh proporciona la función simplificada mediante la eliminación de

las variables complementadas con las variables no-complementadas,
 La cancelación de B en el grupo de celdas adyacentes de color naranja, permaneciendo 𝐴̅.

 La cancelación de A en el grupo de celdas adyacentes de color verde, quedando 𝐵̅ .
De esta forma, la función minimizada obtenida por el Mapa de Karnaugh es
𝐹𝑠𝑖𝑚𝑝𝑙𝑖𝑓 (𝐴, 𝐵) = (𝐴̅ )( 𝐵̅ )
Esta función simplificada, se obtiene por reconocimiento de patrones, similar a la Suma de productos,
sin requerir cálculos extensos del álgebra de Boole. Además, se puede considerar un paso extra
implementar el diagrama lógico que valide la operación de la Tabla de Verdad y Mapa de Karnaugh,
ver Figura 22.
Figura 22. Diagrama lógico para Mapa de Karnaugh con Producto de Maxtérminos.
19
6. CONCLUSIONES
En este documento, se presentaron los aspectos principales de la minimización de funciones lógicas
mediante el método gráfico Mapas de Karnaugh, considerando las técnicas de Suma de
productos/mintérminos o Producto de Sumas/Maxtérminos. En particular, se analizó y desarrolló la
metodología planteada en los Mapas de Karnaugh para funciones lógicas que tienen dos, tres y cuatro
variables de entrada, simplificando los cálculos extensos de las expresiones lógicas por medio del
reconocimiento de patrones dadas por agrupaciones de 1, 2, 4, 8, 16 celdas adyacentes de 1s o 0s, sin
usar herramientas analíticas complejas del álgebra de Boole. Finalmente, se presentaron algunos
ejemplos de circuitos digitales simples con sus diagramas lógicos para validar el comportamiento lógico
de las funciones simplificadas. Con esto, se espera que el alumno pueda desarrollar sus habilidades en
la simplificación de funciones lógicas, con el propósito de diseñar sistemas digitales que solucionen
problemas del área de ingeniería y de la vida cotidiana.
REFERENCIAS
1. Wakerly, J. F. (2008). Digital design: Principles and practices, 4/E. Pearson Education India.
2. Mapa de Karnaugh, https://es.wikipedia.org/wiki/Mapa_de_Karnaugh#/media/Archivo:K-
map_6,8,9,10,11,12,13,14_anti-race.svg. Acceso: 9 de octubre de 2020.
3. Floyd, T. L. (2014). Digital fundamentals: A systems approach. Pearson Education Limited.
4. Mano, M. M., & Ciletti, M. (2013). Digital design: with an introduction to the Verilog HDL. Pearson.
5. Olivier, A. A. (2002). Electrónica Digital Combinacional. Diseño, Teoría y Práctica.
20

Mapas Karnaugh Jdav

Cargado por

Copyright:

Formatos disponibles

Mapas Karnaugh Jdav

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Mapas Karnaugh Jdav

Cargado por

Copyright:

Formatos disponibles

U N IV ER SID A D A U TÓN OM A D E B A JA C A LIFOR N IA

FA C U LTA D D E C IEN C IA S D E LA IN G EN IER ÍA ,

M étodo de m inim ización de funciones

P rofesor: Dr. Jesús David Avilés Velázquez

M ateria: Circuitos Digitales

La mayoría de las aplicaciones industriales y avances tecnológicos están involucrados con el

En particular, el método gráfico de Mapas de Karnaugh, desarrollado por el físico-matemático Maurice

simplificación de las funciones lógicas por cancelación de variables complementadas y no

Figura 1. Ejemplo de Mapa de Karnaugh con 4 entradas [1].

En este trabajo, desarrollaremos el método de minimización de funciones lógicas de los Mapas de

Suma de productos – mintérminos y producto de sumas – maxtérminos

Entradas m intérm inos M axtérm inos

A B C térm ino P roducto térm ino Sum a

Tabla 1. Tabla de Verdad con mintérminos y Maxtérminos para tres entradas.

Entradas Fun ción m intérm inos M axtérm inos

Tabla 2. Tabla de Verdad con mintérminos y Maxtérminos para dos entradas.

𝐹(𝐴, 𝐵) = ∑(𝑚0 , 𝑚3 ) = ∑(0, 3)

𝐹(𝐴, 𝐵) = ∏(𝑀1 , 𝑀2 ) = ∏(1, 2)

Ambas técnicas son equivalentes porque producen un comportamiento lógico similar:

𝐹(𝐴, 𝐵) = ∑(𝑚0 , 𝑚3 ) = ∏(𝑀1 , 𝑀2 )

Figura 5. Mapa de Karnaugh para tres entradas (A, B, C) en representación horizontal.

Figura 6. Tabla de Verdad y Mapa de Karnaugh para cuatro (A, B, C, D).

4.1 Minimización de funciones lógicas usando Mapas de Karnaugh con

i. Construcción de un arreglo bidimensional que depende del número de variables de entradas,

4.1.1 M apas de K arnaugh de dos variables

Figura 7. Mapa de Karnaugh asociado a los mintérminos de dos entradas.

Figura 8. Ejemplo de Tabla de Verdad y Mapa de Karnaugh con dos entradas.

Para Mapas de Karnaugh de dos variables, tenemos las siguientes agrupaciones:

 Un grupo de 1 celda produce un producto de 2 variable.

Aplicando el concepto de la adyacencia de celdas en los Mapas de Karnaugh de dos variables, se

Figura 9. Agrupaciones de celdas adyacentes en Mapa de Karnaugh de dos variables.

P aso 3: En este paso, el Mapa de Karnaugh proporciona la función simplificada mediante la

Entonces, se tienen los resultados:

 La cancelación de A en el grupo de celdas adyacentes de color naranja, permaneciendo 𝐵̅ .

De esta forma, la función minimizada obtenida por el Mapa de Karnaugh es

Figura 10. Comportamientos lógicos de función original y simplificada.

Ejem plos adicionales: Se consideran dos ejercicios complementarios para comprender la

1. Simplificar la función lógica 𝑓(𝐴, 𝐵) = ∑(𝑚0 , 𝑚1 ) = 𝐴̅ 𝐵̅ + 𝐴̅ 𝐵 usando los Mapas de

2. Simplificar la función lógica 𝑓(𝐴, 𝐵) = ∑(𝑚0 , 𝑚2 ) = 𝐴̅ 𝐵 + 𝐴 𝐵̅ usando los Mapas de

Figura 14. Mapa de Karnaugh de Ejercicio 2.

4.1.2 M apas de K arnaugh de tres variables

Figura 15. Mapa de Karnaugh asociado a los mintérminos de tres entradas.

P aso 1: Se transfieren los valores de la tabla de verdad en el Mapa de Karnaugh correspondiente,

 Un grupo de 1 celda proporciona un producto de 3 variables.

(a) (b) (c) (d)

(a) La función minimizada obtenida por el Mapa de Karnaugh de la Figura 17 (a), es

𝐹𝑠𝑖𝑚𝑝𝑙𝑖𝑓 (𝐴, 𝐵, 𝐶) = 𝐴𝐵 + ̅̅̅̅̅̅̅̅

(b) La función simplificada obtenida por el Mapa de Karnaugh de la Figura 17 (b), es

𝐹𝑠𝑖𝑚𝑝𝑙𝑖𝑓 (𝐴, 𝐵, 𝐶) = 𝐵̅ + 𝐴̅𝐶̅ + 𝐴𝐶

(c) La función simplificada obtenida por el Mapa de Karnaugh de la Figura 17 (c), es

𝐹𝑠𝑖𝑚𝑝𝑙𝑖𝑓 (𝐴, 𝐵, 𝐶) = 𝐴̅𝐵̅ + 𝐴̅𝐶̅ + 𝐴𝐵𝐶

(d) La función simplificada obtenida por el Mapa de Karnaugh de la Figura 17 (d), es

𝐹𝑠𝑖𝑚𝑝𝑙𝑖𝑓 (𝐴, 𝐵, 𝐶) = 𝐴̅𝐵̅ + 𝐴̅𝐶̅ + 𝐴𝐶

4.1.3 M apas de K arnaugh de cuatro variables

A B C D térm ino P roducto

Figura 18. Mapa de Karnaugh asociado a los mintérminos de cuatro entradas.

A continuación, se describe brevemente la metodología de minimización de funciones lógicas con cuatro

P aso 1: Se transfieren los valores de la tabla de verdad en el Mapa de Karnaugh correspondiente,