Como podría simplificar al máximo esta expresión lógica
\( [p\rightarrow({\sim{p}} \vee q)]\wedge[r\rightarrow{\sim{p}}] \)
H eintentado hacer esto:
\( \equiv{} \sim{p}\vee (\sim{p}\vee q) \wedge (\sim{r}\vee \sim{p}) \)
\( \equiv{} (\sim{p} \vee \sim{p}) \vee (\sim{p}\vee q) \wedge (\sim{r}\vee \sim{p}) \)
Pero no se que mas hacer
De antemano gracias
Yo no sé, pero supongo que “p” verdadera no puede implicar “p” falsa, por lo que aquí
\( [p\rightarrow(\sim p\vee q)]
\)
en la disyunción tendrá que ser “q” la única opción.
Si fuera así, eso se traduciría en \( p\rightarrow q
\) imagino, y añadiendo lo otro podría ser \( p\rightarrow(q\wedge\sim r)
\).
(de todas formas, como yo no he estudiado esto, pues probablemente no será exactamente así, no hagas mucho caso).
Saludos.