Alguna de las siguientes proposiciones es una Tautología?
Alguna de las siguientes proposiciones es una Tautología? 1) ∼ {[∼ (∼p ∧ q) v ∼q] ↔ (∼p v q)} 2) ∼ [∼ (p v ∼q) → ∼r] ∼ (∼q→ ∼p) 3) ∼ [(∼p) ↔ q] ↔ (p → q) 4) ∼ {(∼p ∧ r) v [p ∧ (∼r v q)]} v (p→ ∼q).