Mapas de karnaugh

Suponiendo que conozcamos la tabla de la verdad de un circuito

combinacional, a partir de la cual deseamos disear dicho circuito, lo ms
corriente es tener que buscar una expresin simplificada de la funcin o
funciones a implementar. En este artculo tratar de explicar cmo ello es
posible de una forma sencilla gracias al empleo de un mtodo de
simplificacin grfico muy extendido (extendido precisamente por esto, por
su facilidad de uso). Para ello me ayudar de una tabla ejemplo mediante la
cual ir explicando todo lo referente a este tipo de simplificacin de
funciones lgicas. Pero antes, un poco de teora necesaria:
Mapas de Karnaugh para dos, tres, cuatro y cinco variables:
El aspecto de los mapas de Karnaugh es el de la siguiente figura:

De izquierda a derecha y de arriba a abajo aparecen los mapas para dos,

tres, cuatro y cinco variables. Note que en cada mapa existe una lnea
diagonal en la esquina superior izquierda. Por encima y por debajo de dicha
lnea aparecen los nombres de las variables implicadas (en este caso a, b, c,
d y/o e, segn el mapa, aunque pudieran ser otros diferentes), de tal forma
que para el mapa de cuatro variables, por ejemplo, las combinaciones de
ceros y unos de la parte superior del mapa son las combinaciones posibles
de las variables a y b, en este orden, y las combinaciones de dgitos binarios
del lateral izquierdo son la posibles combinaciones de las variables c y d,
tambin en ese orden.
La adyacencia grfica y la adyacencia algebraica
Dos casillas son adyacentes grficamente si estn una junto a otra en el
mapa de Karnaugh, teniendo en cuenta que nunca deben considerarse las
diagonales. Por otro lado, dos casillas de un mapa de Karnaugh son

adyacentes algebraicamente si en el conjunto formado por los bits de sus

coordenadas x e y slo hay un dgito diferente, no importando la posicin en
la que se encuentre dicho dgito. Pues bien, siempre se verifica que dos
casillas que sean adyacentes grficamente tambin lo son algebraicamente
(recuerde que no vale en diagonal). El recproco no es cierto en general, de
tal forma que hay casillas que son adyacentes algebraicas y no lo son
grficamente. La adyacencia algebraica es la que realmente hay que tener
en cuenta en el proceso de simplificacin grfica. Podemos decir que la
adyacencia algebraica es "ms fuerte" que la grfica. Sin embargo, a
efectos de poder realizar la simplificacin de forma fcil convendra que los
dos tipos de adyacencias coincidiesen para tener una imagen grfica de las
adyacencias algebraicas. Lamentablemente esto no es as, pero con objeto
de conseguir una imagen mental y grfica de las adyacencias algebraicas
podemos ayudarnos de las siguientes figuras:
- Para tres variables:

- Para cuatro variables:

- Para cinco variables (tiene buena visin espacial?):

Si a usted no se le da bien la visualizacin espacial siempre puede aplicar la

regla comentada en principio para saber si dos casillas de un mapa son o no

adyacentes. La prctica en esta cuestin le har finalmente no tener que ni

pensarlo.
Las formas cannicas de las funciones lgicas
Toda funcin lgica es posible expresarla en cualquiera de las dos formas
canonicas que existen. Estas dos formas de representacin universales son
por un lado la forma de maxitrminos o maxterms y por otro lado la forma
de minitrminos o minterms. Cada una de estas formas cannicas est
formada por un nmero de trminos variable. En cada uno de esos trminos
deben aparecer todas las variables de la funcin, ya sea en forma
negada o en forma directa (sin negar). Adems, en las forms
cannicas no existen trminos repetidos.
Centrmonos primeramente en la forma canonica de minitrminos. En esta
forma cada uno de los trminos estar formado por productos lgicos de
unas variables (negadas una a una o no) con otras (negadas una a una o
no), teniendo que aparecer finalmente en cada trmino todas y cada una de
las variables que intervienen en la funcin (negadas o no una a una). Por
ltimo, todos los trminos involucrados debern sumarse lgicamente en
una nica expresin. Este expresin es la forma cannica de minitrminos.
El aspecto de una forma cannica de este tipo tendr un aspecto similar a
los siguientes:

Veamos ahora la forma cannica de maxitrminos. En ella los trminos se

forman no con el producto lgico, sino con la suma lgica y la expresin
completa de maxitrminos se consigue multiplicando lgicamente todos los
trminos y no sumndolos como pasaba en la otra forma cannica. As,
ejemplos de formas cannicas de maxitrminos podran ser los siguientes:

La relacin existente entre tablas de la verdad y formas cannicas:

Supongamos que tenemos una tabla de la verdad de una funcin lgica tal
como la que sigue (W es la funcin y a, b y c las variables de dicha funcin):
a

Para expresar W en forma cannica de minitrminos debemos fijarnos en

aquellas filas de la tabla en las que W=1. Cada una de estas filas
corresponder a un trmino de la forma cannica. Dentro de cada trmino,
si una variable tiene valor cero deber negarse. Por contra, si tiene valor
uno deber aparecer sin negar. Entonces, la forma cannica de
minitrminos correspondiente a la funcin W es la siguiente:

Veamos ahora la forma cannica de maxitrminos. En este caso es

necesario fijarse en las filas de la table en las que W=0. Igual que antes,
cada una de estas filas corresponder a un trmino de la forma cannica de
maxitrminos. Ahora bien, dentro de cada trmino la variable que tenga
valor cero debe aparecer sin negar y negada la que tenga valor uno. As
pues, W en forma cannica de maxitrminos sera la siguiente:

Basta de teora! He aqu la tabla de la verdad:

La tabla que usaremos para explicar la simplificacin grfica de Karnaugh es
la siguiente:
a

En esta tabla se han diferenciado las funciones de salida de las variables de

entrada gracias al empleo de maysculas (para las funciones) y minsculas
(para las variables). Tenemos pues cuatro variables de entrada y tres
funciones de salida. Cada una de estas funciones corresponder a una
salida de nuestro circuito combinacional (es por eso que reciben ese
nombre, funciones de salida). Por contra, cada una de las variables de
entrada corresponder a una entrada del circuito. Entonces, la tabla de la
verdad indica cmo se comportar el circuito, desde el punto de vista de sus
salidas, ante cualquier combinacin lgica en sus entradas (vea que en la
tabla aparecen todas las combinaciones lgicas posibles de entrada).
Empecemos diciendo que de esta tabla se podran sacar las formas
cannicas (de minitrminos o de maxitrminos) de las funciones F, G y H y,
a partir de estas formas cannicas, implementar el circuito lgico
correspondiente a cada funcin. Sin embargo, esta forma de proceder no es
la ms adecuada por motivos de economa de medios, ya que las formas
cannicas no son las expresiones ms simples de una determinada funcin,
y mientras ms simple sea una funcin ms simple ser el circuito que la
implemente. As pues, se hace necesario simplificar las formas cannicas
para obtener otras expresiones ms simples. Es aqu donde entran en juego
los mapas de Karnaugh.
Como ya se desprende de lo comentado ms arriba, la simplificacin se
puede llevar a cabo de la forma cannica de minitrminos o de la forma
cannica de maxitrminos. A nosotros nos toca decidir. Cmo?. Pues el

criterio que considero ms lgico (salvo demostracin en contra) es el de

simplificar la forma cannica que ya de por s sea ms simple, o sea, la que
tenga menos trminos. En el caso de la funcin F de la tabla estaramos
hablando de forma cannica de maxitrminos. Bien, pues simplifiquemos
primeramente F en su forma cannica de maxitrminos. Para ello eligiremos
un mapa de Karnaugh de igual nmero de variables que las que tenga la
funcin a simplificar, en este caso ser de cuatro variables. A continuacin,
colocaremos ceros en las casillas del mapa cuyas coordenadas
correspondan con los valores de las variables que producen los ceros de F:

A continuacin hay que intentar realizar agrupamientos de los ceros

colocados en el mapa. Slo se permiten agrupamientos de un nmero de
ceros que sea una potencia de dos (2, 4, 8, 16 , etc.) y nunca en diagonal.
Adems, los agrupamientos que se hagan hay que tratar que sean lo mayor
posible. Los agrupamientos que pueden realizarse en el mapa de ms arriba
son los siguientes:

La simplificacin de la funcin se producir en los agrupamientos. As,

ninguno de los dos ceros de la lnea inferior no se han podido agrupar. Eso
har que cada uno de ellos de lugar a un maxitrmino de la siguiente forma:

O sea, la variable que tenga valor cero aparece en el maxitrmino de forma

directa y la que tenga el valor uno aparece de forma negada. Esto respecto
a los trminos que no se simplifican. Respecto a los que s se simplifican lo
hacen de la siguiente forma:

Como puede verse, se sigue la misma regla que en los trminos no

simplificados en cuanto a la negacin o no de una variable, pero adems,
cada agrupamiento (y no cada casilla) da lugar a un trmino en el que la
variable que cambia de valor en las casillas del agrupamiento desaparece
del trmino directamente, o sea, no se incluye en l.
La funcin F simplificada tendr el siguiente aspecto:

Sera posible simplificar an ms la funcin F? S, pero ya aplicando

mtodos de simplificacin algebraica. Por ejemplo, se podra sacar factor
comn c + d', con lo que quedara:

Pasemos a simplificar otra funcin de las de la tabla. Acometamos la

simplificacin de la funcin G. Esta funcin tiene menor nmero de unos que
de ceros. Por tanto, simplificaremos por minitrminos. Adems, como G
tiene cuatro variables deberemos usar un mapa de Karnaugh de ese nmero

de variables. Ahora se irn rellenando las casillas igual que en el caso

anterior pero con unos en lugar de con ceros (es un convenio que permite
que se sepa con un simple vistazo si se est trabajando con base en
minitrminos o en maxitrminos):

Agrupando segn la regla que ya se ha visto tendremos:

En el agrupamiento cambia (y por tanto desaparece de su trmino

correspondiente) la variable c y en el uno no agrupado no se puede hacer
simplificacin alguna (y por tanto su trmino contendr todas las variables).
As pues:

Como puede verse, el criterio que se ha seguido para negar o no una

variable es el contrario que en el caso de los maxitrminos, es decir, en
minitrminos una variable se niega si su valor es cero y se deja sin negar si
su valor es uno.
Bien, pasemos ya a simplificar la funcin restante, o sea, la funcin H. Esta
funcin tiene igual nmero de ceros que de unos, as que es indiferente que
nos basemos en minitrminos o en maxitrminos. Yo personalmente tengo
preferencia por los minitrminos. Basmonos en minitrminos pues. El mapa
de Karnaugh con los agrupamientos ya hechos ser el siguiente:

La funcin H simplificada segn Karnaugh ser

Se podra simplificar H de forma algebraica hasta conseguir lo siguiente:

Por tanto, como resumen de las funciones simplificadas tendremos que

Ya slo quedara el diseo del circuito lgico que las implemente (vea el
artculo referente a ello).