Taller en Clase
1. Ejercicio #1
a) (p ^ q) ^ s
b) p ↔ (q ^ s) → (t ^ ~s) ^ ~ (p ^ q)
c) (q ^ s) v ~ q) → (~ q v (~ q v (q ^ s)))
2. Ejercicio #2
a) (p → q) ↔ (r v s)
b) q → ((~ p v r) v s)
c) (p v q) ↔ (~ r v s)
d) ((q ^ ~q) v p) → r
3. Ejercicio #3
a) (~ (~ p v ~ q v q)) → q
→ v ~ v ~ p ~ q q q
b) (p v q ^ r) → q
→ v p ^ q r q
c) (p → p → q) ↔ (p v q ^ r)
↔ → p → p q v p ^ q r
d) (((p v q) v (r v s)) → ~p)
→ v v p q (r v s) ~p
e) ~ (p → ((q ↔ s) → ~ p))
~ → p → ↔ q s ~ p