Usuario:Galindo6/ejercicio 18

EJERCICIOS PAGINA 44

14.

Inserte paréntesis dentro de las expresiones siguientes, de tal manera que se elimine la ambigüedad sin utilizar las reglas de prioridad.

a) $\sim$($p1\lor p2$) $\rightarrow$$\sim q$$\lor p1$

b) $p\land r$ $\lor q$$\leftrightarrow$ $\sim r$

c) $p\land q$ $\land$ $r\rightarrow p$

d) $p\rightarrow q$ $\leftrightarrow$$\sim q$ $\rightarrow$ $\sim p$

SOLUCIÓN

a) $\sim$($p1\lor p2$) $\rightarrow ($$(\sim q)$$(\lor p1))$

b) (($p\land r$) $\lor q$)$\leftrightarrow$ ($\sim r$)

c) (($p\land q$) $\land$ $r)\rightarrow p$

d) ($p\rightarrow q$ )$\leftrightarrow$(($\sim q$) $\rightarrow$( $\sim p$))

== pagina del solucionario == http://es.wikibooks.org/wiki/Pensamiento_Algor%C3%ADtmico:Solucionario