¿Cómo se simplificar esta equivalencia logica ?
(q -> ~p) v (~r -> ~p)
Es una equivalencia lógica .. Yo llegue solamente a la ley condicional... De ahí, me quede.
1 Respuesta
Respuesta
1
Veamos...
(q -> ~p) v (~r -> ~p)
sabemos que p -> q == ~p v q, así que
(~q v ~~p) v (~~r v ~p)
(~q v p) v (r v ~p)
~q v p v r v ~p
tenemos p v ~p que eso es siempre verdadero, por lo tanto es una tautología
True
Salu2
¿Como así se simplifica...
~q v p v r v ~p
a esto
p v ~p ?
No es así, lo que ocurre es:
~q v p v r v ~p.....conmutativa
~q v r v p v ~p.....asociativa
(~q v r) v (p v ~p)....(p v ~p = True)
(~q v r) v True..........(Algo v True = True)
True
Salu2 (y no olvides valorar la respueta)