Simplificación de Funciones |
Las funciones booleanas pueden ser simplificadas mediante procedimientos algebraicos empleando las leyes del álgebra lógica y los métodos expuestos anteriormente o mediante técnicas gráficas denominadas mapas de Karnaugh o mapas K. |
|
Donde n es el número de variables lógicas de la función a simplificar; a cada casilla se le asocia una fila de la tabla de verdad de la función. Para n = 2 variables x, y, el mapa K es un cuadrado que se divide en 2n=22=4 casillas a cada una de las cuales se le asocia una fila de la tabla de verdad, si la tabla de verdad de una función f de dos variables es: |
|
donde cada ai puede ser 0 ó 1, el mapa k es: |
A la casilla donde está a0 se le asocia la primera fila de la tabla, (0, 0) son las coordenadas binarias que identifican esta casilla; la casilla a1 está asociada con la segunda fila, (0,1) son las coordenadas binarias que la identifican; (1, 0) identifica la casilla a2 y |
En el mapa se distinguen cuatro regiones: Región de x (la segunda columna), Región de x’ (la primera columna), Región de y’ (la primera fila), y Región de y (la segunda fila). Dependiendo de la forma elegida para la función a simplificar: normal disyuntiva o normal conjuntiva, las casillas se llenan sólo con los unos o sólo con los ceros respectivamente, tomados de la columna de f. En lo sucesivo se adoptará la primera forma. |
En el apartado anterior se explicó cómo se construye el mapa en este caso. Para simplificar una función a partir del mapa se tienen en cuenta las adyacencias. |
|
Estas adyacencias permiten eliminar variables como se muestra a continuación. No se consideran como adyacencias los unos ubicados en diagonal. Ejemplo |
|
Observaciones:
Los mapas de las funciones i y 15 – i son: a) Complementarios, es decir: Fi +F15-i = 1 b) Disyuntos, es decir: Fi . F15-i = 0 |
Ejemplo Si se designa x : puerta, tal que x = 1 si la puerta está abierta; y : motor, tal que y = 1 si el motor esta encendido; entonces la función booleana alarma A (x, y) se escribirá: |
A (x,y) = xy |
Para tres variables x, y, z, el mapa k tiene 23 = 8 casillas dispuestas en dos filas y cuatro columnas, como se muestra a continuación: |
Mapa K para 3 variables |
donde ai, para i = 0, ..., 7 puede ser 0 ó 1. La casilla donde está ai corresponde a la fila i, (en binario) de la tabla de verdad. Por conveniencia, se han intercambiado las dos últimas columnas, a fin de que la numeración binaria que encabeza la segunda y tercera columnas pase de 01 a 11, con lo cual cambia una sóla variable (de x’y a xy cambia sólo la x, de complementada a no complementada); de esta manera quedan bien definidas seis regiones: |
|
En este mapa se pueden presentar adyacencias de dos, cuatro, y ocho unos; también se consideran adyacencias entre la primera y la cuarta columnas (como si el mapa fuera dibujado sobre un cilindro). |
Ejemplo |
|
Para cuatro variables x, y, z, w, el mapa tiene 24 = 16 casillas dispuestas en cuatro filas y cuatro columnas, como se muestra a continuación: |
Mapa K para cuatro variables |
En el mapa se han señalado las siguientes ocho regiones: |
|
Se pueden presentar adyacencias de dos, cuatro, ocho o dieciséis unos; que eliminan una, dos, tres o cuatro variables, respectivamente. También se consideran adyacencias entre la primera y la cuarta columnas, y entre la primera y cuarta filas. |
Ejemplo En el ejercicio 17 se propone la verificación de estos resultados utilizando las leyes del álgebra lógica. |
f(x,y,z,w,)=yw |
f(x,y,z,w)=y'w' |
f = (y + w)’ que se representa con una compuerta NOR. |
f(x,y,z,w,)=yw + y'w' |
f(x,y,z,w,)=w' |
f(x,y,z,w)=xy'+ z'w |
f(x,y,z,w,)=xz' + x'z |
Si dentro de una adyacencia una variable aparece complementada y no complementada, tal variable es eliminada de la expresión; si por el contrario, una variable no cambia en todas las casillas de la adyacencia, esta debe aparecer en la expresión final. Se debe tener en cuenta que:
|