Maurice Karnaugh,

Ingeniero de telecomunicaciones estadounidense.

Graduado en la universidad de Yale en el 1952, es
actualmente gobernador emrito del ICC (International
Council for Computer Communication).

Ha trabajado como investigador en los laboratorios Bell
desde 1952 a 1966 y en el centro de investigacin de IBM de
1966 a 1993. As mismo, ha impartido de informtica en el
Politcnico de Nueva York de 1980 a 1999, y desde 1975 es
miembro del IEE (Institute of Electrical and Electronics
Engineers) por sus aportaciones sobre la utilizacin de
mtodos numricos en las telecomunicaciones.

Es el creador del mtodo tabular o mapa de Karnaugh.

El mapa o diagrama de KARNAUGH, comnmente
denominado diagrama de K, o mapas de Karno, es una figura
geomtrica utilizada para simplificar y minimizar expresiones
algebraicas booleanas, presentadas en forma de Minterms o
Maxterms para funciones de Sumas de Productos estndar
cannicos o Productos de Sumas estndar cannicos.

El mapa de Karno se caracteriza por estar conformado por un
conjunto de cuadriculas o regiones sistemticamente
organizadas, en la cual se asocia uno a uno cada regin o
cuadricula con cada fila de una tabla de verdad.

Para iniciar el proceso de minimizacin de funciones lgicas
se parte de la correspondencia uno a uno entre las filas de la
tabla de verdad y los MINTERMS o MAXTERMS potenciales.

Tambin hay una correspondencia uno a uno entre los
compartimentos de los diagramas de KARNAUGH y los
MINTERMS o MAXTERMS.

Diagramas de Karnaugh para una Variable.
El diagrama de K para una variable consta de 2 cuadriculas
adyacentes que corresponden a cada una de las filas de la
tabla de verdad para una variable.

Diagramas de Karnaugh para 2 Variables.

Ejemplo de diagramas de Karnaugh para 2 Variables.


Como se observa de la figura anterior, en una tabla de verdad
se colocan los 1s y 0s
mientras que en un diagrama de KARNAUGH se colocan o los
1s o los 0s.

Diagramas de Karnaugh para tres variables.


Diagramas de Karnaugh para 4 variables.

ambin pueden dibujarse diagramas de KARNAUGH para
mayor nmero de variables.
Un diagrama de cinco variables tiene 2
5
= 32 Cuadriculas o
regiones; Un diagrama de K de
6 variables tiene 2
6
= 64 regiones o cuadriculas.

Ejemplo:
Representar en el diagrama de K la siguiente funcin
expresada como suma de Productos (Minterms).

f(A,B,C) = m( 0,5,6,7); Donde el MSB es la variable A.
Solucin:


Ejemplo:
Representar en el diagrama de K la siguiente funcin
expresada como Productos de sumas (Maxterms).

f(A,B,C) = M( 2,3,6,7); Donde el MSB es la variable A.
Solucin:


Ejemplo:
Representar en el diagrama de K la siguiente funcin
expresada como suma de Productos (Minterms).
f(A,B,C,D) = m( 0,5,9,11,15); Donde el MSB es la variable A.
Solucin.


Simplificacin de Funciones Lgicas con Diagramas de
Karnaugh
La caracterstica esencial de los diagramas de KARNAUGH es
que los compartimientos vecinos vertical y horizontal (pero
no diagonal) corresponden a MINTERMS o MAXTERMS, que
difieren solamente en una variable que aparecer
complementada o sin complementar.

Para la simplificacin de funciones lgicas por diagramas de K,
es necesario ubicar en el diagrama de K, agrupaciones de
1,2,4,8,...2n MINTERMS o MAXTERMS, el proceso consiste en
que si la funcin lgica se ha expresado en su forma estndar
(MINTERMS o MAXTERMS) se deben aplicar los siguientes
criterios de simplificacin:

1) Se pueden hacer agrupaciones de 1, 2, 4,8,...2n MINTERMS
o MAXTERMS, de la funcin a minimizar teniendo en cuenta
la vecindad y la simetra del mapa de K.
Principio General de Simplificacin:

a) La agrupacin de 1 MINTERM o MAXTERM, no anula
ninguna variable y se denomina Trmino unitario.
b) La agrupacin de 2 MINTERMS o MAXTERMS adjuntos se
pueden combinar en un trmino ms sencillo que contiene
una variable menos que los MINTERMS o MAXTERMS
originales.
c) La agrupacin de 4 MINTERMS o MAXTERMS adjuntos se
pueden combinar en un trmino ms sencillo que contiene 2
variables menos que los MINTERMS o MAXTERMS originales
d) La agrupacin de 8 MINTERMS o MAXTERMS adjuntos se
pueden combinar en un trmino ms sencillo que contiene 3
variables menos que los MINTERMS o MAXTERMS originales.
Agrupacin de 2 trminos para funciones de 3 variables
representadas como suma de MINTERMS o productos de
MAXTERMS

Cuando se hacen agrupaciones de 2 trminos siempre se
anula una variable, y es aquella cuyo valor cambia en la
agrupacin.

Agrupacin de 2 trminos para funciones de 4 variables
representadas como suma de MINTERMS o productos de
MAXTERMS

Es importante tener en cuenta que en las cuadriculas
encerradas por los crculos que forman las agrupaciones
pueden haber o suma de Productos (MINTERMS) o productos
de Suma (MAXTERMS).

Agrupacin de 4 trminos para funciones de 3 variables
representadas como suma de Productos (MINTERMS) o
productos de Sumas (MAXTERMS).

Agrupacin de 4 trminos para funciones de 4 variables
representadas comosuma de Productos (MINTERMS) o
productos de Sumas (MAXTERMS).

Agrupacin de 8 trminos para funciones de 4 variables
representadas como suma de Productos (MINTERMS) o
productos de Sumas (MAXTERMS)

Agrupacin de 8 trminos para funciones de 4 variables
representadas como suma de Productos (MINTERMS) o
productos de Sumas (MAXTERMS)

Simplificar la siguiente funcin:




Funcin minimizada:

Simplificar la siguiente funcin:


Funcin minimizada:

Minimizar utilizando diagramas de K la siguiente funcin
lgica expresada como suma de MINTERMS.
f(A,B,C,D) = m(0,5,9,11,15)


Se tienen 2 trminos unitarios


es decir son trminos que no se pueden agrupar con ningn
otro trmino. La funcin simplificada queda de la siguiente
forma:



Para las siguientes funciones cuyo mapa de K se muestra a
continuacin se pide:

Para las siguientes funciones cuyo mapa de K se muestra a
continuacin se pide:

a) Representarlas como suma de Minterms.

a) f(A,B,CD) = (1,3,4,6,9,11)
b)


Para las siguientes funciones cuyo mapa de K se muestra a
continuacin se pide:

b) Producto de Maxterms.

f(A,B,C,D) = M(0,2,5,7,8,10,13,15)


Para las siguientes funciones cuyo mapa de K se muestra a
continuacin se pide:

C) Obtener las respectivas funciones minimizadas.




Minimizar la siguiente funcin expresada como suma de
productos.



Minimizar la siguiente funcin:f(A,B,C,D) =
(0,1,2,4,5,6,7,8,9,10,14)



Algoritmo QuineMcCluskey.

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 su forma tabular lo hace ms eficiente para su
implementacin en lenguajes computacionales, y provee un
mtodo determinstico de conseguir la mnima expresin de
una funcin booleana.

En los diagramas de K conforme aumenta el nmero de
variables, aumenta el nmero de cuadriculas de este,
haciendo ms difcil de visualizar el proceso de agrupamiento
para laseleccin de la funcin mnima, es por ello que los
diagramas de K no son recomendables para funciones cuyas
variables exceda de 5 o 6.

El mtodo de McCLOUSKEY se aplica a funciones con muchas
variables y tiene la ventaja de ser adecuado para la aplicacin
de algoritmos de computacin.

El mtodo de McCLOUSKEY es un procedimiento especfico
paso a paso el cual se utiliza para producir una expresin
normalizada y simplificada, el cual se puede definir en 2
partes:

1) Bsqueda y seleccin de Primeros Implicantes.

2) Seleccin entre los Primeros Implicantes de aquellas
combinaciones que dan una expresin con el menor
nmero de variables.

Seleccin de los primeros implicantes.

El proceso de seleccin se inicia con el listado de la
representacin binaria de los MINTERMS y el agrupamiento
de acuerdo al nmero de 1s contenidos en las agrupaciones.
La operacin de bsqueda de los primeros implicados es el
proceso de apareamiento, el cual consiste en la comparacin
de cada MINTERM, con los MINTERMS restantes, si 2
trminos difieren solamente en una variable, dicha variable
se elimina, obtenindose una expresin con una variable
menos.

Este proceso se repite para cada trmino mnimo hasta
obtener el proceso completo de bsqueda, y la obtencin de
la funcin mnima.
Ejemplo:

f(A,B,C,D) = m( 0,5,6,7,8,10,11,12,14,15 )
1) Listado de la representacin binaria de los Minterms.

2) Agrupamiento de la representacin binaria de los
minterms de acuerdo con la cantidad de 1s contenidos en las
agrupaciones.

Se toma por ejemplo el MINTERM 15, que es igual a 1 1 1 1, el
cual se representa por las letras A B C D donde A que es el
MSB, toma el valor posicional 8, B toma el valor 4, C toma el
valor 2 y A toma el valor 1.



A valor posicional 8
B valor posicional 4
C valor posicional 2
D valor posicional 1