Forma estándar del producto de sumas

En las expresiones producto de sumas en las algunos terminos no contienen todas las variables del dominio de la expresión. Por ejemplo, la expresión:
(A' + B + C')(A + D)(A + B' + C + D) tiene un dominio formado por las variables A, B, C, D.

Un producto de sumas estándar es aquel en el que todas las variables dominio o sus complementos aparecen en cada uno de los términos de la expresión. Por ejemplo
(A + B + C' + D) (A' + B + C + D')(A + B + C + D) es un producto de sumas estándar.
Cualquier producto no estándar puede convertir a su formato estándar utilizando la regla 8 (A.A'=0) que establece que una variable multiplicada por su complemento es igual a cero.

1)Agregar a cada término suma no estándar un término formado por la variable que falta y su complemento. Da dos términos suma.

2)Aplicar la regla 12 A + BC =( A + B)(A + C)

3)Repetir (1) hasta que todos los términos suma resultantes contengan todas las variables del dominio en su forma complementada o no complementada.

(A + B' + C)(B+ C + D)(A + B' + C + D)

(A + B' + C + DD')=(A + B' + C + D)(A + B' + C + D')

(B + C + D +A. A')=(A + B + C + D)(A' + B + C + D)


Resultado de la conversion es

A + B' + C + D)(A + B' + C + D')(A + B + C + D)(A' + B + C + D)(A + B' + C + D)


Convertir a productos de suma a la forma estándar

(A + B')(A'+ B + C)(A + D)(A + B + C + D)

A(A + C')(A + B)