MAPAS DE KARNAUGH

Prf.Ofelia Nazario Bao

 Introducción
Otra manera de simplificar funciones es representándolas
en mapas de Karnaugh o mapas K. Esto es equivalente a
resolver las simplificaciones por teoremas. El método de
Karnaugh convierte una expresión a otra más simplificada.
En nuestro caso, convierte una suma de productos en otra
mínima denominada Minimal Sum Product (MSP o suma de
productos minimal) .
Tiene como características:
Un mínimo número de términos en la expresión.
Un mínimo número de variables en cada término de dicha
expresión.

Prf.Ofelia Nazario Bao

Este método es solamente válido para expresiones en las que el número
de variables es como mucho 6.
Los mapas de Karnaugh son diagramas cuadrangulares o rectangulares
que tienen 2 n compartimientos o casillas, don n es el número de
variables lógicas consideradas.
El número binario que identifica cada fila de la tabla de verdad se
hace corresponder con las coordenadas binarias que identifican cada
casilla del mapa K

Prf.Ofelia Nazario Bao

 Mapa de Karnaugh de tres variables

El mapa de Karnaugh se construye a partir de la tabla de

verdad de la función lógica. El mapa por medio de una
matriz de 8 celdas, representa los ocho mintérminos
posibles que se pueden obtener con tres variables.

Prf.Ofelia Nazario Bao

Línea Mintérmino Mintérmino mx Función
A B C
de Salida
0 0 0 0 A’·B’·C’ m0 F(0,0,0)
1 0 0 1 A’·B’·C m1 F(0,0,1)
2 0 1 0 A’·B·C’ m2 F(0,1,0)
3 0 1 1 A’·B·C m3 F(0,1,1)
4 1 0 0 A·B’·C’ m4 F(1,0,0)
5 1 0 1 A·B’·C m5 F(1,0,1)
6 1 1 0 A·B·C’ m6 F(1,1,0)
7 1 1 1 A·B·C m7 F(1,1,1)

Prf.Ofelia Nazario Bao

Reglas de simplificación

Prf.Ofelia Nazario Bao

1.  Las agrupaciones son exclusivamente de unos. Esto implica que ningún
grupo puede contener ningún cero.

2. Las agrupaciones únicamente pueden hacerse en horizontal y vertical.

Esto implica que las diagonales están prohibidas.

Prf.Ofelia Nazario Bao

3.  Los grupos han de contener 2n elementos. Es decir que cada grupo tendrá
1,2,4,8... número de unos.

Prf.Ofelia Nazario Bao

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 mínimo a un grupo.
Aunque pueden pertenecer a más de uno.

Prf.Ofelia Nazario Bao

6.  Pueden existir solapamiento de grupos.

Prf.Ofelia Nazario Bao

7.  La formación de grupos también se puede producir con las celdas
extremas de la tabla. De tal forma que la parte inferior se podría agrupar con la
superior y la izquierda con la derecha tal y como se explica en el ejemplo.

8.  Tiene que resultar el menor número de grupos posibles siempre y

cuando no contradiga ninguna de las reglas anteriores. Esto es el número
de grupos ha de ser minimal

Prf.Ofelia Nazario Bao

 Metodología
Ilustraremos con un ejemplo :

F (x, y, z) = x’ y’ z’ + x’ y’ z + x’ y z’+ x y’ z’+ x y z’

Los pasos a seguir para conseguir reducir esta expresión son:

1.  Convertir la expresión a una suma de productos si es necesario. Esto
se puede realizar de varias maneras:

• Algebraicamente.

•Construyendo una tabla de verdad, trasladando los valores al mapa de

Karnaugh. Esta es la forma que vamos a utilizar.

Prf.Ofelia Nazario Bao

  Z
X   Y   Resultado
 

0 0 0 1
0 0 1 1
0 1 0 1
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 1
1 1 1 0
                 

Prf.Ofelia Nazario Bao

2.  Cubrir todos los unos del mapa mediante rectángulos de 2N
elementos. Ninguno de esos rectángulos debe contener ningún cero (tal
y como se indica en las reglas de simplificación ).

•Para minimizar el número de términos resultantes se hará el mínimo

número posible de rectángulos que cubran todos los unos.

• Para minimizar el número de variables se hará cada rectángulo tan

grande como sea posible

Véase que en este caso se ha unido la columna izquierda con la

derecha para formar un único rectángulo
Prf.Ofelia Nazario Bao
3. Encontrar la MSP (suma de productos minimal). Ojo porque
podemos encontrarnos con que puede haber más de una MSP.

•Cada rectángulo pertenece a un término producto.

•Cada término se define encontrando las variables que hay en

común en tal rectángulo.

En nuestro ejemplo tenemos F( X, Y, Z) = Z’ + X’Y’ nótese que las

variables resultado son las que tienen un valor común en cada
rectángulo.
 

Prf.Ofelia Nazario Bao

Por lo tanto, para encontrar el MSP se debe:
•Minimizar el número de rectángulos que se hacen en el mapa de
Karnaugh, para minimizar el número de términos resultantes.
•Maximizar el tamaño de cada rectángulo, para minimizar el número de
variables de cada término resultante

Ejemplo: 1. Simplificar la función booleana representada en la

tabla mediante el mapa K

x y F
0 0 0
0 1 1
1 0 1
1 1 1

Prf.Ofelia Nazario Bao

2. Obtener y simplificar la expresión booleana para la
siguiente tabla de verdad:

Entradas Salida
A B C D
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 1
1 0 1 1
1 1 0 0
1 1 1 0

Prf.Ofelia Nazario Bao

3.Obtener y simplificar la expresión Booleana para la siguiente
tabla de verdad: Entradas Salida
A B C D E
0 0 0 0 0
0 0 0 1 0
0 0 1 0 0
0 0 1 1 0
0 1 0 0 0
0 1 0 1 1
0 1 1 0 0
0 1 1 1 1
1 0 0 0 1
1 0 0 1 0
1 0 1 0 1
1 0 1 1 0
1 1 0 0 0
1 1 0 1 1
1 1 1 0 0
1 1 1 1 1
Prf.Ofelia Nazario Bao
Ejercicios:
1. Utiliza mapas K para minimizar las siguientes formas
normales disyuntivas

a ) xy z  x y z  xyz  x y z
b) x yz  x y z  xyz  x yz  x y z
c) xyz  xy z  x yz  x y z  x yz  x yz  x y z
d ) xy z  x y z  x yz  x y z

2. Utilizar mapas K para simplificar la función: F : B 4  B

F ( x, y, z, u )  x y z  x y z  x yzu  xzu  xy zu  x yz

Prf.Ofelia Nazario Bao

 CASOS INDIFERENTES

Cuando se construye una tabla de verdad de una función lógica F podría

suceder que, para unas ciertas combinaciones de las variables
independientes, F tome un valor 0 ó 1 de forma indiferente, es decir que
el valor de F no dependa de los valores de sus variables. O lo que es
equivalente : existen valores que las variables independientes no pueden
tomar.
En estas condiciones no importa el valor de F ante estas entradas y se
puede aprovechar para dar valor a F de 0 ó 1, con la finalidad de ayudar
a simplificar la expresión.
Tales casos reciben el nombre de casos indiferentes.
En estos casos suele indicarse en la tabla de verdad de F mediante un
símbolo como x, , etc.

Prf.Ofelia Nazario Bao

Ejemplo: Supongamos la siguiente tabla

x y z u F
0 0 0 0 1 xy00 01 11 10
0 0 0 1 0 zu
0 0 1 0 1
0 0 1 1 0 00 1 1 x 1
0 1 0 0 1
0 1 0 1 0 01 x
0 1 1 0 1
0 1 1 1 0
1 0 0 0 1 x x
1 0 0 1 0
1 0 1 0 x 11
1 0 1 1 x 1 1 x x
1 1 0 0 x 10
1 1 0 1 x
1 1 1 0 x
1 1 1 1 x

Prf.Ofelia Nazario Bao

 Problema:
En una central de control de tráfico un panel muestra los
puntos neurálgicos y enciende una luz de alarma cuando las
condiciones mínimas de seguridad previstas no se dan. Uno de
estos puntos se muestra en la siguiente figura, en el cual
pueden entrar en E sin peligro de colisión al mismo tiempo
vehículos de:
a) x z
b) z w
c) Solamente x, y, w o z. Diseñe el circuito lógico que controla la
alarma

Prf.Ofelia Nazario Bao

Problema:
Se tiene un dispositivo electrónico capaz de detectar números múltiplos
de 3, expresados en binario. Las cantidades binarias que llegan al
detector lo hacen a través de cuatro hilos x, y, z u de los que u
representa el digito binario de menos significación . Los múltiplos
estarán contenidos entre 0 y 9.
Se trata de construir una función F : B4  B capaz de detectar
esos múltiplos de 3 mediante su tabla de verdad, simplificando luego
dicha tabla.
El detector podría esquematizarse de la forma siguiente:

x
y Detector F
z
u

Prf.Ofelia Nazario Bao