Decir si la siguiente proposición es tautología, contingencia o contradicción:

~(p v q) ↔ (~ p ʌ ~q)