Universidad De San Carlos De Guatemala

Facultad de Ingeniera
Escuela de Ciencias y Sistemas
Organizacin Computacional
Ing. Otto Escobar
Aux. Ricardo Alfredo Sontay Aguilar

Mapas de Karnaugh
Mapas de Karnaugh
Bsicamente un mapa de karnaugh es un diagrama utilizado para simplificar
funciones algebraicas booleanas.

Ejemplo #1 (Funcin de 2 Variables)

Cuando existe una funcin que depende de 2 variables el mapa de karnaugh se representa
de la siguiente manera, siempre tomando en cuenta que para llenar dicho diagrama se
siguen las combinaciones de las variables tanto en fila como columna.
Y
X Y F1 X 0 1
0 0 1 0 1 0
0 1 0 1 1 1
1 0 1
1 1 1

En este caso nuestro mapa lo dividiremos en 2 partes: Filas y Columnas. En mi caso yo

decid poner la variable X en las filas y en las columnas Y, en realidad la eleccin de
esto no debe de afectar el resultado. El mtodo sugiere que para simplificar de forma
ptima se deben hacer la menor cantidad de conjuntos ya se de 1s (MinTerms) o de 0s
(MaxTerms).

Regresando al Ejemplo se obtienen la menor cantidad de conjuntos, que en este caso son
2 conjuntos a los cuales les denotaremos: G1 y G2.
(Minterms debido que escogimos conjuntos donde los trminos son 1s)

G1:
Y
X 0 1
0 1 0
1 =
1 1 1

Eliminamos Filas debido que el conjunto acapara las 2 filas.

G2:
Y
X 0 1
0 1 0 2 =
1 1 1

En este caso eliminamos las columnas de igual forma debido que el conjunto acapara las 2
columnas.

Nota: Hay que tener siempre en cuenta que el anlisis es por fila y columna, cuando una
conjunto acapara 2 filas se debe observar los trminos de cabecera de estos si son
opuestos se elimina la columna o variable, se hace lo mismo con las filas y por ltimo se
multiplican los resultados de las operaciones en caso de ser MinTerms.
Al finalizar dicho proceso con todos los conjuntos, se pasa a sumar o multiplicar
dependiendo de los trminos elegidos. Si utilizamos MinTerms (1s) procederemos a
sumar, en caso de utilizar MaxTerms (0s) procedemos a multiplicar.

En este caso procedemos a sumar debido que escogimos MinTerms.

= #

1 = = 1 + 2 = +
=1

1 = +

Forma Alterna (MaxTerms)

Una forma alterna de la solucin propuesta con MinTerms, son los MaxTerms.

X Y F1
0 0 1
0 1 0
1 0 1
1 1 1

Hay que recordar siempre que se busca tener la cantidad mnima de conjuntos para cada
ocasin, en esta oportunidad no existen ms que un conjunto con un solo trmino. Por lo
tanto no es necesario utilizar un Mapa de Karnaugh, sino solo recordar que para la
combinacin X = 0, Y = 1 que dicho MaxTerm es X + Y.

Recordatorio: En un MinTerm el termino 0 denota una negacin de la variable y el 1 la

variable en s sin ninguna alteracin. En tanto en un MaxTerm el termino 0 denota la
variable en s y el 0 la negacin de esta.

Resultado:
1 = +
Ejemplo #2 (Funcin de 3 Variables)

En el siguiente ejemplo utilizaremos una funcin de 3 variables, con un mapa de karnaugh

de 2 x 4, debido que existen 8 Combinaciones posibles, ocuparemos B y A como variables
en columnas y C como filas. Esto debido que por convencin siempre se utilizan las
variables menos significativas como columnas y las ms significativas como filas. A fin de
cuentas esto no importa, debido que el resultado siempre tiene que ser el mismo si se
ocupan de forma correcta los cuadrantes del mapa.

C B A F2

0 0 0 1
BA
0 0 1 1 C 00 01 11 10
0 1 1 1 0
0 1 0 0 1 1 1 1 0
0 1 1 1

1 0 0 1

1 0 1 1

1 1 0 0

1 1 1 1

Cuando existen ms de 2 variables ocurre algo llamado adyacencia lgica, en realidad

ocurre tambin en mapas de karnaugh de 2 variables pero se observa de mejor manera
cuando existen ms de 2 variables.
Que es esto dirn ustedes? Pues bsicamente la adyacencia lgica es lo que hace que el
mapa pueda reducir trminos, esto debido que dicha adyacencia consiste en que se debe
cumplir para cada cuadrante una regla y es que solo debe haber una alteracin ya sea de
forma horizontal como vertical de 1 variable, por lo tanto en un mapa que posee 4 columnas
se puede observar que las combinaciones van de 00 hasta 11, pero existe una indiferencia
en la transicin de 01 a 10 y es que esta transicin incumple con la adyacencia lgica,
porque existe un cambio tanto en el primer y segundo trmino de la combinacin. Por lo
tanto para que exista una reduccin algebraica el mapa debe cumplir con la adyacencia
lgica en todos sus cuadrantes, por ende se deben cambiar las combinaciones 10 con la 11
en el mapa para que exista dicha adyacencia.
Al cambiar dichos cuadrantes se puede observar en
la figura como existe una nica alteracin en cada
cuadrante del mapa.
Regresando al ejemplo de igual forma que en el ejemplo anterior encontramos 2 conjuntos
con trminos de 1s en su interior.
G1:
BA
C 00 01 11 10
0 1 1 1 0 1 =
1 1 1 1 0

Eliminamos filas debido que el conjunto acapara las 2 filas, en el caso de las columnas se
elimina nicamente la variable A, debido que existe un factor comn en la columna y es la
B, por ser 0 el factor comn y usar MinTerms quedara la negacin de la variable.

G2:
BA
C 00 01 11 10
0 1 1 1 0 2 =
1 1 1 1 0

Eliminamos filas debido que el conjunto acapara las 2 filas, en el caso de las columnas se
elimina nicamente la variable B, debido que existe un factor comn en la columna y es la
A, por ser 1 el factor comn y usar MinTerms quedara la variable sin ninguna alteracin.
De la misma forma que el ejemplo pasado procedemos a sumar debido que utilizamos
MinTerms (1s).
= #

2 = = 1 + 2 = +
=1

2 = +

Nota: Siempre hay que recordar que los posibles conjuntos que podemos formar vienen
dado por la expresin 2 , es decir que nuestros conjuntos pueden ser de 1, 2, 4, 8, 16, 2
Trminos.
Ejemplo #3 (Funcin de 4 Variables)

En este ltimo ejemplo utilizaremos una funcin de 4 variables, con un mapa de karnaugh
de 4 x 4, debido que existen 16 Combinaciones posibles, ocuparemos B y A como variables
en columnas y D y C como filas. Esto debido que por convencin siempre se utilizan las
variables menos significativas como columnas y las ms significativas como filas. A fin de
cuentas esto no importa, debido que el resultado siempre tiene que ser el mismo si se
ocupan de forma correcta los cuadrantes del mapa

D C B A F3

0 0 0 0 1

0 0 0 1 1

0 0 1 0 0 BA

0 0 1 1 1 DC 00 01 11 10
00 1 1 1 0
0 1 0 0 1
01 1 1 1 0
0 1 0 1 1
11 0 1 1 0
0 1 1 0 0 10 0 0 1 1
0 1 1 1 1

1 0 0 0 0

1 0 0 1 0

1 0 1 0 1

1 0 1 1 1

1 1 0 0 0

1 1 0 1 1

1 1 1 0 0

1 1 1 1 1

G1: BA
DC 00 01 11 10
00 1 1 1 0
01 1 1 1 0 1 =
11 0 1 1 0
10 0 0 1 1
G2: BA
DC 00 01 11 10
00 1 1 1 0
01 1 1 1 0 2 =
11 0 1 1 0
10 0 0 1 1

G3: BA
DC 00 01 11 10
00 1 1 1 0
01 1 1 1 0 3 =
11 0 1 1 0
10 0 0 1 1

G4:

DC 00 01 11 10
00 1 1 1 0
01 1 1 1 0 4 =
11 0 1 1 0
10 0 0 1 1

De la misma forma que el ejemplo anterior procedemos a sumar debido que utilizamos
MinTerms (1s).
= #

3 = = 1 + 2 + 3 + 4 = + + +
=1

3 = + + +

Observacin: El MinTerm resultante de cada conjunto depende de los trminos en su

interior, es decir que si se tienen conjuntos con 8 trminos, se obtendr un MinTerm de 2
Variables, si se tienen conjuntos de 4 trminos, obtendremos un MinTerm de 3 Variables y
as sucesivamente. Esto aplica tanto para MinTerms como MaxTerms.