Deber Equivalencias Lógicas

Resolver y comentar en esta publicación, las siguientes equivalencias lógicas:

• (p ^q) → (p v q) ↔ V
• ¬(p v (¬p ^q)) ↔ (¬p ^ q)