FACULTAD DE INGENIERA

INVESTIGACIN

TEMA:
Mtodos de Simplificacin de funciones algebraicas Booleanas.
Mapa de Karnaugh y el algoritmo QuineMcCluskey.

ESTUDIANTES:
Alexander Nivicela
Jos Len

DOCENTE:
Ing. Hernn Quito

ASIGNATURA:
Matemticas Discretas

PERIODO ACADMICO:

Septiembre 2016 Febrero 2017

Simplificacin de funciones algebraicas Booleanas.

Mapa de Karnaugh.
Un mapa de Karnaugh es un diagrama utilizado para la simplificacin de funciones
algebraicas Booleanas. El mapa de Karnaugh fue inventado en 1950 por Maurice
Karnaugh, un fsico y matemtico de los laboratorios Bell. Los mapas de Karnaugh
reducen la necesidad de hacer clculos extensos para la simplificacin de expresiones
booleanas, aprovechando la capacidad del cerebro humano para el reconocimiento de
patrones y otras formas de expresin analtica, permitiendo as identificar y eliminar
condiciones muy inmensas.
Proceso
El mapa de Karnaugh consiste en una representacin bidimensional de la tabla de
verdad de la funcin a simplificar. Puesto que la tabla de verdad de una funcin de n
variables posee
2n

2n

filas, el mapa de Karnaugh correspondiente debe poseer tambin

cuadrados. Las variables de la expresin son ordenadas en funcin de su peso y

siguiendo el cdigo Gray, de manera que slo una de las variables vara entre celdas
adyacentes. La transferencia de los trminos de la tabla de verdad al mapa de Karnaugh
se realiza de forma directa, albergando un 0 o un 1, dependiendo del valor que toma la
funcin en cada fila. Las tablas de Karnaugh se pueden fcilmente realizar a mano con
funciones de hasta 6 variables, para funciones de mayor cantidad de variables es ms
eficiente el uso de software especializado.
En el mapa de Karnaugh se debe agrupar la mayor cantidad de valores uno (1)
adyacentes

en grupos de potencias de base dos

2 ,2 , 2 , , 2

y adems los

extremos que estn en la misma fila o columna tambin se podrn agrupar.

Se debe agrupar para formar cuadrados o rectngulos.
Despus de ya formados los grupos se procede a generar la expresin simplificada de la
siguiente manera:
Analizamos en cada grupo formado primero las columnas y vamos a determinar que
valores de verdad de cada proposicin cambian, con respecto a la columna adyacente de
la agrupacin, aquellos que varen no los tomaremos en cuenta para la nueva expresin
a generan, mientras que a los valores constantes s, si un valor es constante entonces

formar parte de la nueva expresin simplificada. Si el valor que es contente es cero (0)
de una proposicin x cualquiera en la nueva expresin se escribir xx (x negado);
mientras que si el valor constante es uno (1) se escribir x. Adems ese x o xx estar
multiplicado por la proposicin resultante del mismo anlisis pero ahora en las filas, eso
ser resultado simplificado de un determinado grupo.
Ahora bien al ser varios grupos, a cada grupo se le deber enlazar a los dems a travs
de una suma, lo que dar como resultado una expresin nueva y simplificada.
Ejemplos:
Ejemplo 1
Simplificar la siguiente expresin S por el mtodo del mapa de Karnaugh.
b ab bb c db + a bbc db +abb cb d b+ abc b d +b abcd+ a
S=ab c d + abb c db +ab cb d +

bcdb

Construimos la correspondiente tabla, le asignamos sus valores y agrupamos.

ab

cd
00
01
11
10

00
0
0
1
1

01
1
1
1
1

11
0
1
1
0

10
0
0
0
1

Ahora analisamos cada grupo en busca de valores constantes en cada fila y columna.
De lo que resulta:
S =db+ c d +a c +a bbdb
En Donde S` es la expresin simplificada de S.
Ejemplo 2
Simplifique la siguiente funcin booleana.
f ( w , x , y , z )= (0,1,2,4,5,6,8,9,12,13,14)
Construimos la correspondiente tabla, le asignamos sus valores y agrupamos.
wx
yz
00
01
11
10

00

01

11

10

1
1
1
1

1
1
1
1

0
0
0
0

1
1
1
0

Ahora analisamos cada grupo en busca de valores constantes en cada fila y columna.
De lo que resulta:
f ( w , x , y , z )= y + w
z + xz b
Mapas k QuineMcCluskey
Los mapas o el Algoritmo QuineMcCluskey es un mtodo de simplificacin de
funciones booleanas desarrollado por Willard Van Orman Quine y Edward J.
McCluskey. Es funcionalmente idntico a la utilizacin del mapa de Karnaugh, pero es
ms eficiente para su implementacin en lenguajes computacionales, y provee un
mtodo mecnico para conseguir la mnima expresin de una funcin booleana.
El mtodo de Quine-McCluskey parte de una funcin booleana expresada como una
suma de productos en forma cannica
1. El primer paso del mtodo consiste en obtener todos los trminos producto que
pueden formar parte de la nueva expresin simplificada
2. Una vez obtenidos los trminos producto, el segundo paso consiste en generar la
expresin minimizada, es decir, identificar la combinacin mnima de trminos
que representa la funcin que estamos simplificando.
3. Comenzamos obteniendo todas las parejas de trminos producto cuyo valor
difiera en una sola variable. Se agrupan todos los trminos producto que valgan
1 y que tengan el mismo nmero de variables con valor 1. Se ordenan los
grupos, en orden ascendente, segn el nmero de variables con valor 1. Para
formar las parejas solo es necesario comparar los trminos producto de un grupo
con los del siguiente
4. Una vez hecho esto, se repite el proceso con los grupos resultantes hasta que no
sea posible obtener ms parejas
A continuacin se presenta un ejemplo con las especificaciones necesarias para ser
comprendido:

Ejemplo 1
Dado

la

tabla

de

verdad

ABCD,

encuentre

la

expresin

Booleana

Ahora es necesario elegir un conjunto de trminos producto que cubran todas las
combinaciones en las que la salida de la funcin deba valer 1

Se genera una tabla de seleccin marcando qu trminos producto cubren cada

combinacin de la tabla anterior

Se seleccionan aquellos trminos que son los nicos que cubren una

combinacin y, por tanto, son esenciales

Se eligen los trminos para cubrir las otras combinaciones

Las expresiones mnimas del valor de X son:

Ejemplo 2
Aplicando el mtodo de QuineMcCluskey, encontrar la expresin booleana de la
siguiente tabla de verdad

Primero buscamos las parejas posibles con la cantidad de unos

Ahora formando todas las parejas posibles sucede que ya no es posible seguir formando
ms parejas.

Entonces generamos la tabla de seleccin y buscamos los trminos esenciales

Para el siguiente paso se debe encontrar los trminos no esenciales que darn cobertura
a las combinaciones no utilizadas

Ahora las tres sumas obtenidas se expresan como suma de productos y se simplifican,
aplicando la propiedad distributiva, para buscar los trminos mnimos.

Finalmente cualquiera de los trminos producto mnimos obtenidos es vlido para cubrir
las combinaciones que no cubren los trmino esenciales, es decir que cualquiera de las
tres expresiones son soluciones.

Referencias Bibliogrficas
Pizarro J. (2006-2007). MTODO DE KARNAUGH. IES Trinidad Arroyo. Recuperado
de: http://ficus.pntic.mec.es/jpip0006/digital/descargas/metodo%20de%20karnaugh.pdf
Oliverio J. (2006-2007). Simplificacin de funciones lgicas con el mtodo de QuineMcCluskey. Universidad de las Palmas de Gran Canaria. Recuperado de:
http://sginard.comze.com/SistAuto/Teoria/QuineMcCluskey.pdf