Pernyataan mana yang merupakan tautologi, kontradiksi, atau

Pernyataan mana yang merupakan tautologi, kontradiksi, atau bukan keduanya?1. (q => p) <=>(p <=> q) 2. (p v q) <=> ~(~ p ^ q) 3. (p => q) <=>(~ p v q) 4. (p => ~ q) <=>(q => ~ p)