Mate Discreta 002

Publicado por Gio M en 16:52
(P <-> R) y ¬(¬P v R)
[(P -> R) y (R -> P)] y ¬(¬P v R), DEFINICIÓN DE EQUIVALENCIA
[(¬P v R) y (¬R v P)] y (P y ¬R), IMPLICACION Y DISYUNCIÓN, DOBLE NEGACIÓN, DE MORGAN
[P y (¬P v R)] y [¬R y (¬R v P)], ASOCIACION
[(P y ¬P) v (P y R)] y [¬R y (¬R v P)], DISTRIBUCION
[Fº v (P y R)] y [¬R y (¬R v P)], INVERSOS
(P y R) y [¬R y (¬R v P)],NEUTRO
[¬R y (P y R)] y (¬R v P), ASOCIACIÓN
[P y (R y ¬R)] y (¬R v P), ASOCIACIÓN
[P y Fº] y (¬R v P),INVERSOS
Fº y (¬R v P), DOMINACIÓN
Fº, DOMINACIÓN

Otra forma más corta de hacerlo sin complicarse tanto la vida

(P <-> R) y ¬(¬P v R)
(P <-> R) y ¬(P -> R), IMPLICACIÓN Y DISYUNCIÓN
(P -> R) y (R -> P) y ¬(P -> R), DEFINICIÓN DE EQUIVALENCIA
(R -> P) y [(P -> R) y ¬(P -> R)], ASOCIACIÓN
(R -> P) y Fº, INVERSOS
Fº, DOMINACIÓN

0 Respuestas a 'Mate Discreta 002'

Publicar un comentario