Usuario:Fercho/ejercicio 9

SOLUCIÓN

Se toman los valores de f cuyos valores de verdad resultantes son F (falsos) y se los expresa en la forma normal disyuntiva (F.N.D.).

(￢p ^ ￢q ^ ￢r ) v (￢p ^ q ^ ￢ r ) v (￢p ^q ^ r ) v (p ^￢q ^ r ) v (p ^ q ^ ￢ r )

El siguiente paso es negar (F.N.D.), y así obtener la forma normal conjuntiva (F.N.C.) es decir la conjunción de disyunciones de literales.

￢[ (￢p ^ ￢q ^ ￢r ) v (￢p ^ q ^ ￢ r ) v (￢p ^q ^ r ) v (p ^￢q ^ r ) v (p ^ q ^ ￢ r ) ]

(p v q v r ) ^ (p v ￢ q v r ) ^ (p v ￢ q v ￢ r ) ^ (￢ p v q v ￢ r ) ^ (￢ p v ￢ q v r )