Considerando as proposições A: (~p ↔ q) ➔ (~q ∧ p); B: (p ➔ q) ↔ ( ~q ➔ ~p), é correto afirmar que:

temos que A e B, são proposições equivalentes.

temos que a negação das duas proposições são tautologias.

temos que a proposição A é uma contingência e, a proposição B, é uma tautologia.

podemos considerar que a proposição A é uma tautologia, enquanto a proposição B, é uma contradição.

a proposição A possui em sua última coluna, apenas dois valores lógicos verdadeiros e a proposição B é uma tautologia.