SIMPLIFICACION DE FUNCIONES BOOLEANAS.(Mapas de Karnaugh) .

Una funcin booleana expresada en forma algebraica puede aparecer de muchas formas diferentes, sin embargo, la representacin con una tabla de verdad es nica. Se pueden utilizar los postulados de Huntington y teoremas booleanos para simplificar una funcin booleana expresada en forma algebraica, pero no existe un mecanismo especfico utilizando este mtodo. El mtodo de mapas representa una forma simple y directa de minimizar las funciones booleanas expresadas en su tabla de verdad. El mapa es un diagrama compuesto por cuadros, cada uno de los cuales representa un minitrmino .

mo m4

m1 m5

m3 m7

m2 m6

yz

00 xyz xy' z

01 x' yz xy' z

11 x' yz xyz

10 x' yz xyz'

0 1

Si se observa detenidamente la tabla se nota que cualquier par de celdas adyacentes tienen al menos 2 trminos iguales.

yz

00 xyz xy' z

01 x' yz xy' z

11 x' yz xyz

10 x' yz xyz'

0 1

Mediante los postulados del lgebra booleana, se concluye que la suma de dos cuadros adyacentes puede simplificarse a un solo trmino AND constituido por dos variables. Para aclarar lo anterior, considrese la suma de dos minitrminos adyacentes m1 y m5:

m1 + m5 = x' yz + xy' z = y' z(x + x)= yz

Ejemplo:
Simplificar la funcin Booleana expresada en la siguiente tabla de verdad por medio del Mtodo de Mapas de Karnaugh
x 0 0 0 0 1 1 1 1 y 0 0 1 1 0 0 1 1 z 0 1 0 1 0 1 0 1 S 0 1 0 1 1 1 0 1

S = xyz + xyz + xyz + xyz + xyz S(x,y,z)= (1,3,4,5,7)

yz
0 1

00 0 1

01 1 1

11 1 1

10 0 0

Mapa de Karnaugh

Ejemplo:
Se agrupan todos los pares de trminos en los que la salida es igual a 1:

yz
0 1

x' yz + xyz = xz(y + y)= xz 00 0 1 01 1 1 11 1 1 10 0 0 xyz + xyz = xz(y + y)= xz

xyz + xyz = xy(z + z)= xy

Mapa de Karnaugh

Por lo tanto la expresin algebraica, de la funcin booleana, obtenida utilizando el mtodo de Karnaugh es:

S = xz + xy + xz
Forma Cannica

S = xyz + xyz + xyz + xyz + xyz

Ejemplo:
Qu sucede si se agrupan 4 minitrminos?

yz
0 1

00 0 1

01 1 1

11 1 1

10 0 0

x' yz + xyz + xyz + xyz = xz(y + y) + xz(y + y) = xz + xz = z(x + x) =z

xyz + xyz = xy(z + z)= xy

Mapa de Karnaugh

Por lo tanto la expresin algebraica ms simplificada, de la funcin booleana, obtenida utilizando el mtodo de Karnaugh es:

S = z + xy
Forma Cannica

S = xyz + xyz + xyz + xyz + xyz