determina si las siquientes formulas son tautologia, contigencia, o contradiccion
1) ~(pvq)vp
2) ~qv(pvq)
3) (p⇔q)⇒(~p∨q)
4) (p⇒q)∧~p
5) (p∧q)⇔(p∨~q