Usuario:Fercho/ejercicio 11

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


a) p ^ q ^ r → p

b) p ^ r v q ↔ ¬r

c) ¬ (p1 v p2 ) →¬q v p1

d) p → q ↔¬q →¬p




SOLUCIÓN


a) ((p ^ q) ^ r) → p

b) ((p ^ r) v q) ↔ (¬r)

c) ¬(p1 v p2 ) → ((¬q) v (p1))

d) (p → q) ↔ ( (¬q) → (¬p) )