Mate Discreta 007

Publicado por Gio M en 21:55
[(¬P v Q) y ¬R] -> [(¬Q y R) v P]
¬[(¬P v Q) y ¬R] v [(¬Q y R) v P], IMPLICACIÓN Y DISYUNCIÓN
[¬(¬P v Q) v R] v [(¬Q y R) v P], DOBLE NEGACIÓN, DE MORGAN
[(P y ¬Q) v R] v [(¬Q y R) v P],DOBLE NEGACIÓN, DE MORGAN
[(R v P) y (R v ¬ Q)] v [(P v R) y (P v ¬Q)], LEYES DISTRIBUTIVAS
[(R v P) y (¬ Q v R)] v [(R v P) y (P v ¬Q)], CONMUTATIVIDAD
(R v P) y [(¬ Q v R) v (P v ¬Q)] ,LEYES DISTRIBUTIVAS
(R v P) y [(¬ Q v ¬Q) v (P v R)], ASOCIACIÓN
(R v P) y [¬Q v (P v R)], IDEMPOTENCIA
(R v P) y [(R v P) v ¬Q],CONMUTATIVIDAD
R v P, ABSORCIÓN

0 Respuestas a 'Mate Discreta 007'

Publicar un comentario