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) )