Sie sind auf Seite 1von 6

SIMPLIFICACION DE FUNCIONES LOGICAS

La simplificacin de funciones permite, partiendo de la funcin origen, hallar la funcin lgica


ms elemental equivalente a la anterior. Dicha funcin equivalente debe verificar dos
condiciones:
- Poseer el menor nmero de trminos posible.
- Los trminos que conforman la nueva funcin deben incluir el menor nmero de variables
posible.

MTODOS DE SIMPLIFICACIN
La simplificacin puede llevarse a cabo recurriendo a tres procedimientos genricos:
- Mtodo directo: utilizando las propiedades y teoremas del Algebra de Boole.
- Mtodo de Karnaugh: aplicando los denominados Mapas de Karnaugh.
- Mtodo numrico de McCluskey.

MTODO DIRECTO
Consiste en la aplicacin de los teoremas y propiedades inherentes al Algebra de Boole.
Este mtodo se utiliza para la simplificacin de funciones sencillas de pocas variables. Su
aplicacin en funciones complejas de elevado nmero de variables es problemtica debido a la
dificultad de distinguir las circunstancias especficas favorables a la aplicacin de una
determinada propiedad o teorema.
Seguidamente se relacionan las propiedades y teoremas fundamentales a utilizar como
herramienta de simplificacin:
Propiedades
- Elemento neutro:
a+0=a
a1=a
- Elemento complementario:
a+a=1
aa = 0
- Propiedad distributiva, respecto a la suma y producto lgico:
a(b + c) = ab + ac
a + (bc) = (a + b)(a + c)
Teoremas
- Principio de conservacin:
a+a=a
aa = a
- Ley de absorcin:
a + ab = a
a(a + b) = a
- Leyes de De Morgan:
a+b+c+=abc
abc = a + b + c +
Otras propiedades
- Propiedad reductiva:
af (a,b,c,) = af (1,b,c,)
af (a,b,c,) = af (0,b,c,)
Aplicando el principio de dualidad se demuestran las expresiones complementarias:
a + f (a,b,c,) = a + f (0,b,c,)
a + f (a,b,c,) = a + f (1,b,c,)

Para hacer efectiva la simplificacin se van considerando las diversas propiedades y teoremas
expuestos, aplicando aquellos que introduzcan una mayor eliminacin de trminos o de
variables en la funcin a simplificar.

MTODO DE KARNAUGH
Este mtodo de simplificacin se utiliza primordialmente, al igual que el anterior, con funciones
de reducido nmero de variables. Orientativamente para funciones de 2 a 5 variables.

El procedimiento es el que se detalla a continuacin:


1. Construir el Mapa de Karnaugh correspondiente al nmero de variables de la funcin a
simplificar.
2. Los que siguen son los mapas de Karnaugh apropiados para funciones lgicas de 2, 3 y 4

Mapa de Karnaugh para 2 variables

Mtodo directo

Mapa de Karnaugh para 3 variables

Mapa de Karnaugh para 4 variables


3. Supuesta la funcin expresada en forma de sumatorio de minterms, introducir tales
minterms mediante un 1 en las correspondientes casillas del mapa de Karnaugh.
4. Agrupar en el mapa conjuntos de 1s en nmero tal que, invariablemente, sea una potencia
de 2 (1, 2, 4, 8, ).
Hay que considerar que:
- Se empieza la simplificacin realizando las agrupaciones de mayor nmero de trminos,
continuando progresivamente con las de menor nmero de minterms.
- Los bordes del mapa de Karnaugh se consideran adyacentes: el borde superior enlaza con
el inferior, y los bordes laterales lo hacen entre s.
- Aunque un minterm haya sido ya agrupado, puede tomarse de nuevo cuantas veces sea
necesario para constituir otros grupos de simplificacin. Cuanto superior sea el nmero de
minterms agrupados, mayor ser la simplificacin lograda.
- Cada agrupacin da lugar a un trmino en la funcin de salida. Para formar la expresin
algbrica de cada trmino se tienen en cuenta las variables (o sus complementadas) que
abarcan o engloban a la totalidad de la agrupacin considerada.
5. La funcin final simplificada coincidir con la que se obtenga una vez realizadas
algbricamente todas las agrupaciones de 1s (minterms) detectadas en el mapa de
Karnaugh.
Ejercicio de simplificacin por el mtodo de Karnaugh
Se trata de simplificar la siguiente funcin lgica expresada como sumatorio de minterms:

F = S (0,1,2,3,4,12,13,14)

La aplicacin del mtodo enunciado se concreta en los siguientes puntos:

- En primer lugar se traza el mapa de Karnaugh adecuado para la simplificacin de funciones


lgicas de 4 variables.
- Dado que la funcin est ya expresada como sumatorio de minterms, basta con trasladar
los minterms al mapa, colocando un 1 en las correspondientes en las casillas del mapa
(minterms 0, 2, 3, 4, 12, 13 y 14).
- A continuacin se establecern las agrupaciones de minterms adyacentes, considerando
que los bordes del mapa son contiguos.
- El procedimiento de agrupacin consiste en asociar los minterms con casillas afectadas por
un 1 que estn dispuestas conjuntamente. Cada grupo debe estar constituido por un
nmero de casillas que sea potencia de la base binaria 2; esto es: 1, 2, 4, 8 16 en el caso
que nos ocupa.
En orden a conseguir una mayor simplificacin, deben agruparse conjuntamente el mayor
nmero posible de casillas. Hay que tener en cuenta que un mismo minterm puede
intervenir en varias agrupaciones. Por ejemplo, el minterm 12 interviene en dos
agrupaciones: (12, 13) y (12, 14).
6. A partir de las agrupaciones realizadas sobre el mapa puede ya obtenerse la funcin de
salida simplificada. Para ello hay que construir la expresin algebraica que corresponde a
cada grupo asociado para su simplificacin.

En principio cabe tomar, por ejemplo, el grupo integrado por los minterms 0, 1, 2 y 3. El trmino
en cuestin estar formado por el producto de las variables que engloban al grupo en su
totalidad.
Sobre el mapa se observa que la variable a intercepta medio grupo, al igual que la b. En
definitiva, el grupo est englobado en su conjunto dentro de la zona correspondiente a c
complementada y d complementada ,luego su expresin algebraica ser:
__
cd
Anlogamente se obtendrn los restantes sumandos que intervienen en la expresin.
Grupo Expresin
___
(0, 4) a b d
_
(12, 13) b c d
_
(12, 14) a c d
La funcin simplificada ser, pues, la que sigue:
_______
F=cd+abd+bcd+acd
Si la introduccin del minterm nmero 1 se hubiese efectuado en conjuncin con el minterm 12
en lugar de con el nmero 0, en la expresin de f aparecera el sumando (abc) en lugar del
(abd). En ambos casos la simplificacin es correcta.

MTODO DE MCCLUSKEY
Este mtodo de simplificacin se utiliza comnmente con funciones de cinco o ms variables. Su
aplicacin obedece al procedimiento descrito en los siguientes puntos:
- Se construye una primera tabla de MacCluskey agrupando los minterms de acuerdo al nmero
de 1s que contenga la expresin binaria del nmero decimal identificativo de cada minterm.
- Se compara cada zona o bloque de la tabla anterior con el que tiene inmediatamente debajo, de
tal forma que se agruparn en simplificacin aquellos minterms que verifiquen la condicin
siguiente:
- La diferencia del minterm del bloque inferior con el del bloque superior debe ser una potencia
de la base 2.
Atendiendo a la comparacin y simplificacin realizada, debe construirse una nueva tabla en la
que aparecern:
- Los nmeros correspondientes a los minterms simplificados.
- La diferencia entre los nmeros decimales correspondientes a los minterms agrupados o
simplificados.
Los minterms simplificados deben marcarse en la tabla. Los no simplificados constituyen los
trminos primos.
- Basndose en la nueva tabla realizada se repite el proceso, comparando
agrupaciones de minterms pertenecientes a bloques contiguos. Hay que tener en cuenta que
nicamente sern simplificables las agrupaciones que cumplan las dos condiciones siguientes:
- La diferencia primera debe ser la misma.
- La diferencia entre los minterms de ambas agrupaciones a simplificar debe ser una potencia
de la base binaria
- La nueva tabla se construye reflejando los minterms agrupados junto con las dos diferencias
(primera y segunda) entre las agrupaciones parciales simplificadas.
Esta operacin, a aplicar sobre las tablas que se van formando sucesivamente, debe proseguir
hasta llegar a una situacin no simplificable.
- Una vez finalizada la simplificacin, en base a la agrupacin de minterms en tablas sucesivas, se
constituye la tabla de trminos primos.
En esta tabla final se colocan, como principio de fila, las agrupaciones o trminos primos, es
decir: los no simplificables. En las columnas de dicha tabla se incluyen la totalidad de los
minterms que intervienen en la funcin de partida.
- Una vez construida la tabla final, deben marcarse con una cruz las casillas interseccin entre
los minterms que conforman la funcin de partida (columnas) y el trmino primo en el que
aparecen (filas).
- Es conveniente poner una indicacin en aquellos minterms que slo aparecen en un trmino
primo. Los trminos primos afectados, es decir, aquellos que deben introducirse
obligatoriamente en la funcin final simplificada se denominan trminos primos esenciales.
Una vez introducidos los trminos primos esenciales, deben cubrirse los minterms restantes
recurriendo a los trminos ms extensos y teniendo en cuenta que en la funcin final debe
aparecer el menor nmero posible de trminos.
- La funcin final simplificada estar formada por los trminos primos utilizados para la
introduccin o realizacin de la totalidad de minterms que componen la funcin original.
La traduccin de las agrupaciones o trminos primos a trminos algebraicos se lleva a cabo de
la siguiente forma:
- Se toman las diferencias que afectan al trmino primo en cuestin.
- El trmino algebraico estar formado por la expresin cannica tpica: conjunto que
contiene ordenadas todas las variables cuyo peso son las diferencias existentes en el
trmino primo tratado.
Ejercicio de simplificacin el mtodo de MacCluskey
Para desarrollar este ejemplo se utilizar la misma funcin de partida que en el caso de la
simplificacin por el mtodo Karnaugh:
f = S (O, 1 , 2, 3, 4, 12, 13, 14)
El proceso de simplificacin obedece al procedimiento descrito en la zona terica; de ah que
slo se detallen las tablas y observaciones especficas a que haya lugar:
N. minterm
Ningn 1 0 x
.
Un 1 1 x
2x
4x
.
Dos 1 3 x
12 x
.
Tres 1 13 x
14 x
Minterms Diferencia
011x
022x
044x
.
132x
231x
4 -12 8
.
12 -13 1
12 -14 2
Minterms Diferencias
0-1-2-3 1 2 Al coincidir, se
0-2-1-3 2 1 elimina uno de los grupos
El paso siguiente es formar la tabla final. En las columnas figurarn la totalidad de los minterms
que aparecen en la funcin f, mientras que en las filas se reflejarn los trminos no simplificados
(no sealados con una x) recogidos en las tablas construidas en los pasos anteriores.
- Trminos primos esenciales:
(12 13)
(12 14)
(0 1 2 3)
Al tomar estos trminos para componer la funcin de salida se observa que resta nicamente
por introducir el minterm nmero 4. En este caso es indiferente introducir el minterm 4 con el
trmino (0-4) o con el (4-12).
Esta doble posibilidad surgi tambin en el ejemplo desarrollado anteriormente, en el que la
simplificacin de f se acometi aplicando el mtodo de Karnaugh. Al igual que entonces
adoptaremos de nuevo el trmino (0-4).
- Por ltimo, pasamos a obtener las expresiones algebraicas correspondientes a cada uno de los
trminos que integran la funcin simplificada.

ELIMINACIN DE VARIABLES

Trmino Difere. de peso diferente simplif.


______________
0-1-2-3 1-2 a b c d a b c d a b c d a b c d = cd
____
12-14 2 a b c d a b c d = acd
____
12-13 1 a b c d a b c d = bcd
__________
0-4 4 a b c d a b c d = abd
En definitiva, la funcin final de salida ser:
_______
f = cd + acd + bcd + abd
Que, efectivamente, coincide con la resultante obtenida al aplicar el mtodo de Karnaugh.
Los mtodos de Karnaugh y McCluskey se han estudiado precisando su aplicacin a funciones
expresadas como sumatorio de minterms. No obstante, ambos mtodos son totalmente aplica
bles a funciones expresadas como productorio de maxterms, sin necesidad de introducir
modificacin alguna en el procedimiento genrico.