Definición


Dada una Función lógica, lo que expresa este método es que se puede expresar como producto de sumas, con el objetivo de replicar esta función si necesidad de conocer cual es pero conociendo su output.

Veamos un ejemplo, sea la siguiente función:

001
010
101
111

Lo que vamos a buscar ahora es crear una función para cada posición. Estas funciones diremos que llamaremos tienen la particularidad de que estan definidas de la siguiente forma

Entonces en este caso para y en todos los otros casos es una Función partida.

Para replicar las siguientes funciones, veamos un caso que puede representar los otros casos

Esta función la podemos replicar, si hacemos ya que para cualquier caso es excepto para cuando e .

Por último, podemos replicar sumando todas nuestras funciones, ya que va a propagar cuando alguna es y dejar que sea en cualquier otro caso. Dejando en este caso

En un caso general se puede expresar como