PRÁCTICAS TECNOLOGIA

Supongamos que tenemos una tabla de la verdad de una función lógica tal como la que sigue (S es la función y a, b y c las variables de dicha función):

Para expresar S en forma canónica debemos fijarnos en aquellas filas de la tabla en las que S=1. Cada una de estas filas corresponderá a un término de la función. Dentro de cada término, si una variable tiene valor cero deberá negarse. Por contra, si tiene valor uno deberá aparecer sin negar.

A continuación, colocaremos ceros en las casillas del mapa cuyas coordenadas correspondan con los valores de las variables que producen los ceros de S, también apuntaremos los unos en las casillas restantes.

A continuación hay que intentar realizar agrupamientos de los ceros colocados en el mapa. Nunca en diagonal. Además, los agrupamientos que se hagan hay que tratar que sean lo mayor posible. Los agrupamientos que pueden realizarse en el mapa de más arriba son los siguientes.

                                   La simplificación de la función solo se producirá en los agrupamientos. Es decir, la variable que tenga valor uno aparece de forma directa y la que tenga el valor cero aparece de forma negada respecto a los términos que no se simplifican. Respecto a los que sí se simplifican lo hacen de la siguiente forma:

100 i 110: ABC + ABC= AC

Como puede verse, se sigue la misma regla que en los términos no simplificados en cuanto a la negación o no de una variable, pero además, cada agrupamiento da lugar a un término en el que la variable que cambia de valor en las casillas del agrupamiento desaparece del término directamente, o sea, no se incluye en él. 

La función S simplificada tendrá el siguiente aspecto:

S= AC + AB + AC