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