Documentos de Académico
Documentos de Profesional
Documentos de Cultura
DEPARTAMENTO DE ELECTRONICA
ELO211 Sistemas Digitales
5. Mapas de Karnaugh
5.1. Conceptos
Existe una relación uno a uno entre un mapa y una tabla de verdad. Una tabla tiene un renglón por
cada mintérmino; y un mapa, como se verá, tiene un casillero o cuadro para cada mintérmino.
El mapa también puede ser considerado una extensión de los diagramas de Venn. Consideremos un
diagrama de Venn para dos variables A y B:
A B
A’B’
Si el orden de la variables para la asignación del código de mintérminos es AB, se puede rotular el
diagrama con el número decimal asociado al mintérmino, queda:
A B
2 3 1
Puede observarse que resultan áreas desiguales para cada mintérmino; y que el gráfico refleja las
adyacencias entre mintérminos, pero no tan claramente como un 2-cubo, el cual se muestra en la
figura siguiente:
0 A
2
1 3
B
C
En un mapa de Karnaugh se adopta un área igual, de forma cuadrada, para cada mintérmino; y
además, estos cuadrados se disponen de tal forma que reflejen las adyacencias. Se ha superpuesto
el 2-cubo, con un mapa de dos variables.
A
B 0 1
0 2 A
0
1 1 3
B f(A,B)
C del mintérmino, depende de la elección del orden de
La identificación de los cuadros con el número
las variables que se haya elegido para la representación decimal equivalente. Por ejemplo, para dos
variables A y B:
B B
A 0 1 A 0 1
0 1 0 2
0 0
2 3 1 3
1 1
f(A,B) f(B,A)
La representación de funciones mediante mapas, se logra marcando los mintérminos presentes con
un "1"; los ceros suelen omitirse.
Por ejemplo, las funciones AND y OR , de dos variables, se representan en mapas según:
B B
A 0 1 A 0 1
0 1 0 1
0 0 0 0 1
2 3 2 3
1 0 1 1 1 1
f1(A,B)=AB f2(A,B)=A + B
Nótese que f1=m3 ; y que f2=m1+m2+m3.
La siguiente figura muestra un desarrollo de un 3-cubo. Nótese que al abrir las caras del cubo, los
mintérminos que están a distancia uno, quedan adyacentes(exceptuando los de la cara que no se
representa en el plano). Los códigos de los mintérminos quedan ordenados según código Gray. El 3-
cubo muestra también la propiedad del código Gray de ser reflejado.
B B=1
A=0
2 A= 1
6
4 2 6
0 A 0
C=0 4
3
7
1 3 7
5 C=1 5
0 1
C
f(A, B, C)
f(A, B, C)
El siguiente diagrama muestra el desarrollo de un 3-cubo sobre el mapa de Karnaugh de tres
variables:
AB
C 00 01 11 10
0 2 6 4
0
1
1 3 7 5
f(A, B, C)
Nótese que m0 es adyacente a m1, m2 y m4. Entonces, en un mapa de Karnaugh se considera que
los bordes son coincidentes, lo cual también refleja que la propiedad del código Gray de ser cíclico.
Es decir, un cilindro en este caso, y se suele mostrar el desarrollo en el plano.
El mapa para tres variables puede obtenerse con dos mapas de dos variables.
Resulta práctico colocar en un borde de cada cuadrado el número del mintérmino. De esta forma,
resulta cómodo expresar una forma canónica en un mapa.
f(A, B, C, D)
Nótese que el mapa de 5 variables se obtiene a partir de dos mapas para n = 4. A uno se le antecede
un cero en la codificación de las columnas y al otro un 1.
ABC
DE 000 001 011 010 110 111 101 100
0 4 12 8 24 28 20 16
00 0
1 5 13 9 25 29 21 17
01
3 7 15 11 27 31 23 19
11
2 6 14 10 26 30 22 18
10
f(A, B, C, D, E)
Sin embargo esta forma de generar mapas, no refleja bien las adyacencias. Otra forma es una
representación en el espacio:
19 23 31 27
ABC
DE 000 001 011 010 18 22 30 26
0 4 12 8
00
1 5 13 9
01 f(A, B, C, D, E)
3 7 15 11
11
2 6 14 10
10
AB AB
CD 00 01 11 10 CD 00 01 11 10
0 4 12 8 0 4 12 8
00 0 0 1 1 00 0 0 1 0
1 5 13 9 1 5 13 9
01 0 0 1 1 01 0 0 1 0
3 7 15 11 3 7 15 11
11 0 0 1 1 11 0 0 1 0
2 6 14 10 2 6 14 10
10 0 0 1 1 10 0 0 1 0
AB AB
CD 00 01 11 10 CD 00 01 11 10
0 4 12 8 0 4 12 8
00 0 0 0 0 00 0 0 0 0
1 5 13 9 1 5 13 9
01 0 0 0 0 01 0 0 0 0
3 7 15 11 3 7 15 11
11 0 0 1 0 11 0 0 1 0
2 6 14 10 2 6 14 10
10 0 0 1 0 10 0 0 0 0
Para n = 4:
· Un mintérmino se expresa como un producto de 4 variables.
· Una agrupación de 2 mintérminos, que forman un 1-cubo (o que son adyacentes), puede
expresarse en tres variables.
· Una agrupación de 4 mintérminos, que forman un 2-cubo, se expresa en dos variables.
· Una agrupación de 23 mintérminos (que forman un 3-cubo), reduce en 3 las variables; es decir,
esta agrupación puede expresarse como una variable.
· Una agrupación de los 24 mintérminos (forman un 4-cubo), puede expresarse como 1. Es decir,
en 0 variables.
· Nótese que bajo el mapa suele escribirse la función que éste representa.
Además, la lectura de la expresión asociada a un grupo, se efectúa por la intersección de las
zonas donde cada variable toma valores iguales a uno.
· El número de grupos de un literal, en caso de n variables, es:
n n!
1
21 2 2n
1!( n 1)!
2k
· Los grupos de k literales, cuando se tienen n variables, quedan dados por:
n!
2k
k!( n k )!
Con k n
Cuando k es igual a n, se logra el número de mintérminos.
· Debido al alto número de subcubos, es importante ejercitarse en ubicarlos en el mapa. Los
menos obvios son aquellos que se encuentran en los bordes.
Ejemplos de estos casos, para n=4:
b d , cb , b d a , ba d
· La obtención del mapa, a partir de una forma canónica es asunto trivial, si los casilleros han
sido rotulados con los números decimales de los mintérminos.
Se tiene: AB
C 00 01 11 10
0 2 6 4
0 1
1 3 7 5
1 1 1
f(A, B, C)=(1,2,5)
· La obtención del mapa, a partir de una forma “suma de productos” puede obtenerse empleando
los conceptos desarrollados en manejo de mapas.
f(A, B, C) AC B C ABC
Un mintérmino tiene 3 literales; una agrupación de dos mintérminos tiene una expresión
dependiente de dos variables.
Para aclarar el método, se dibujará un mapa para cada producto. Con un poco de experiencia,
todos los productos pueden dibujarse en el mismo mapa.
AB AB
C 00 01 11 10 C 00 01 11 10
0 2 6 4 0 2 6 4
0 0 1 1
1 3 7 5 1 3 7 5
1 1 1 1
AB AB
C 00 01 11 10 C 00 01 11 10
0 2 6 4 0 2 6 4
0 0 1 1
1 3 7 5 1 3 7 5
1 1 1 1 1
· Para demostrar teoremas, y también para verificar alguna proposición del álgebra de Boole.
Ejemplo: Demostrar
A a b ab A
B se tienen: 0 1 B 0 1
En un mapa 0 2 0 1
0 1 0 1
1 3 2 3
Prof. Leopoldo1Silva Bijit. 09-12-2021 1 1 1 76
f(A,B)=A'B' f(A,B)=A+B
UNIVERSIDAD TECNICA FEDERICO SANTA MARIA
DEPARTAMENTO DE ELECTRONICA
ELO211 Sistemas Digitales