Forma normal conjuntiva F. N.C.

[wtfbenja]

Hola, tengo que hacer un trabajo, donde una parte de el es pasar ecuaciones a su forma normal conjuntiva, lo tengo que programar

se pasarlo a mano, pero no conosco el algoritmo para poder realizar esta operacion, espero sus ideas sugerencias o algoritmos saludos.

 

ejemplo (x y'+ x z)'+ x' en F.N.C.

Solución:

 

(x y'+ xz)'+ x'

= (x'+ y) (x'+ z')+ x'

= (x'+ x'+ y) (x'+ x'+ z' )

= (x'+ y) (x'+ z' )

= (x'+ y+ z z' ) (x'+ z'+ yy' )

= (x'+ y+ z ) (x'+ y+ z' ) (x'+ y'+ z ) (x'+ y'+ z' )

 

eso es mas o menos, el signo ' es el negado para ejemplificar