Usuario:Fercho/ejercicio 9
Apariencia
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 )