Calcular las tablas de verdad para las siguientes proposiciones y determinar si es una

tautología, una contradicción o si es contingente(satisfacible).

1. (p → q) ↔ (~ p ∨ q)
2. ~ (p ∨ q) ↔ (~ p ^ ~ q)
3. [(p ∨ q) → (~ r ^ q)] → (q ↔ r)
4. [(p → q) ∧ (q → r)] → (p → r)
5. [p ∧ (p → q)] → q
6. [(p ∨ q) ∧ (p → r) ∧ (q → r)] → r
7. [¬p ∧ (p → q)] → ¬q
8. [~(~p)] ↔ p
9. [(p → q) ∨ (~ q ^ r)] ↔ (r ↓ q)
10. (p ⊻ q) → r
11. [(p → q) ^ (p → r)] → (p → r)
12. (p ↔ q) ↔ ~ [(p → q) ^ (q → p)]
13. ⌐(P∨Q)↔ (⌐P∧⌐Q)
14. ⌐(P∧Q)↔ (⌐P∨⌐Q)