Sabe-se que, em lógica proposicional clássica, a implicação

Sabe-se que, em lógica proposicional clássica, a implicação p → q é logicamente equivalente à proposição ~p ∨ q. Com base nisso, analise a proposição composta a seguir:

(p → q) ↔ (~p ∨ q).

Considerando a tabela-verdade da proposição dada, assinale a alternativa que indica a classificação correta dessa proposição.