2) Construya la tabla de verdad de las siguientes fórmulas. Indique si cada una
de ellas es una fórmula tautológica, contingente o contradictoria. Justifique
su respuesta.
a) (pvq)→ ~ (~p^~q)
b) (p→q)→ ~ (p^~q)
c) (p_v q) → ~ [(~p^q) ^ ~ (~p^~q)]
d) (pvq)←→ ~ (pvq)​