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\vee p2$) $\to$$\sim q$$\vee p1$

b) $p\wedge r$ $\vee q$$\leftrightarrow$ $\sim r$

c) $p\wedge q$ $\wedge$ $r\to p$

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

SOLUCIÓN

a) $\sim$($p1\vee p2$) $\to ($$(\sim q)$$(\vee p1))$

b) (($p\wedge r$) $\vee q$)$\leftrightarrow$ ($\sim r$)

c) (($p\wedge q$) $\wedge$ $r)\to p$

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

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