Usuario:Fercho/ejercicio 9

De Wikilibros, la colección de libros de texto de contenido libre.
Ir a la navegación Ir a la búsqueda

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 )