Simplifica las siguientes proposiciones utilizando las leyes lógicas
• p ⇒ [∼q ⇒ (p v q)]
• (∼q ⇔ r) v ∼r
• ∼ [(∼p ⇒ q) ⇔ ∼ (p v ∼q)]
• p ∧ [(q ∧ ∼p) ⇒ (p v ∼q)]
• a v [(b ⇒ ∼b) ∧ (a ⇒ ∼a)]​