MAPAS DE KARNAUGH

F(x, y, z) = x y z + x y z + x y z+ x y z+ x y z
Los pasos a seguir para conseguir reducir esta expresin son:
1. Convertir la expresin a una suma de productos si es
necesario. Esto se puede realizar de varias maneras:
2. Algebraicamente.
Construyendo una tabla de verdad, trasladando los valores al mapa
de Karnaugh. Esta es la forma que vamos a utilizar.





2. Cubrir todos los unos del mapa
mediante rectngulos de 2
N
elementos,
donde N = 0... Nmero de variables. Ninguno
de esos rectngulos debe contener ningn
cero (tal y como indicbamos en el apartado anterior).
Para minimizar el nmero de trminos resultantes se har el mnimo
nmero posible de rectngulos que cubran todos los unos.
Para minimizar el nmero de variables se har cada rectngulo tan
grande como sea posible.

Vase que en este caso se ha unido la columna izquierda con la
derecha para formar un nico rectngulo.
X Y Z Resultado
0 0 0 1
0 0 1 1
0 1 0 1
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 1
1 1 1 0

3. Encontrar la MSP (suma de productos mnima). Ojo porque
podemos encontrarnos con que puede haber ms de una MSP.
Cada rectngulo pertenece a un trmino producto.
Cada trmino se define encontrando las variables que hay en comn
en tal rectngulo.
En nuestro ejemplo tenemos F(X, Y, Z) = Z + XY ntese que las
variables resultado son las que tienen un valor comn en cada
rectngulo.


Rectngulos y productos.
Cada rectngulo representa un trmino. El tamao del rectngulo y el
del trmino resultante son inversamente, es decir que, cuanto ms largo
sea el rectngulo menor ser el tamao del trmino final.
En general, si tenemos una funcin con n variable:
Un rectngulo que ocupa una celda equivale a un trmino con n
variable.
Un rectngulo que ocupa dos celdas equivale a un trmino con n-
1 variables.
Un rectngulo que ocupa 2
n
celdas equivale al trmino de valor 1.
Por lo tanto, para encontrar el MSP se debe:
Minimizar el nmero de rectngulos que se hacen en el mapa de
Karnaugh, para minimizar el nmero de trminos resultantes.
Maximizar el tamao de cada rectngulo, para minimizar el nmero
de variables de cada trmino resultante.
Agrupacin de rectngulos.
Cuando tenemos distintas posibilidades de agrupar rectngulos hay
que seguir ciertos criterios:
1. Localiza todos los rectngulos ms grandes posibles, agrupando todos los
unos. Estos se llamarn implicantes primos.
2. Si alguno de los rectngulos anteriores contiene algn uno que no aparece en
ningn otro rectngulo entonces es un implicante primo esencial. stos han de
aparecer en el resultado final de manera obligatoria.
El resto de implicantes primos se podrn combinar para obtener
distintas soluciones.

Vase este ejemplo que ilustra lo que les planteamos. Aqu los
implicantes primos son cada uno de los diferentes rectngulos
obtenidos. Los primos implicantes esenciales son el rectngulo rojo y el
verde, por contener unos que no son cubiertos por otros rectngulos.
As todas las posibles soluciones han de contener estos dos
implicantes.
Solucin: F( X, Y, Z, T ) = XY + XYT + XZT
SIMPLIFICACION DE FUNCIONES
LOGICAS: