Questão 2247223

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

(𝑝 → 𝑞) ↔ (~𝑝 ∨ 𝑞).

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