Usuario:Fercho/ejercicio 11

De Wikilibros, la colección de libros de texto de contenido libre.

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