Obtención de las formas canónicas de una función a partir de la tabla de la verdad

De la Tabla de la verdad de una función lógica es fácil deducir las formas canónicas de una función.

Los productos de la primera forma canónica se formaran para cada fila en que la función toma el valor 1, asignando al O la variable complementada y al 1 la variable directa y sumándolos todos ellos.

Así de la siguiente tabla

Obtendríamos:

Las sumas de la segunda forma canónica se formaran para cada fila en que la función toma el valor 0, asignando 0 a la variable directa y 1 a la variable complementada y multiplicándolas todas ellas a continuación.

Así pues de la tabla anterior obtendríamos: