FORMAS NORMALES
Forma normal disyuntiva:
Una expresión booleana está en forma normal disyuntiva en n variables x1, x2,... xn, si la expresión es una suma de términos del tipo E1 (x1) × E2( x2) × ... × En(xn), donde Ei(xi) = xi o xi’ para i = 1, 2,..., n, y ningún par de términos son idénticos. Además se dice que 0 y 1 están en F.N.D en una variable para todo n ≥ 0.