Uma proposição X é equivalente (ou logicamente equivalente) a uma proposição Y, e representaremos por X ⇔ Y, quando em suas tabelas-verdade, não ocorrem VF e nem FV numa mesma linha. Sobre Equivalência lógica, analise as seguintes afirmativas:

I - As proposições ~~p e p são equivalentes, desse modo, toda proposição é equivalente à sua dupla negação.
II - As proposições p → q e ~p ∨ q são equivalentes, ou seja, uma condicional é equivalente à disjunção da negação do antecedente com o seu consequente.
III - p → p ∧ q ↔ p → q não são equivalentes. A bicondicional p → p ∧ q ↔ p → q é uma contradição, pois, na coluna de saída de sua tabela-verdade, ocorre somente o valor lógico F.

Assinale a alternativa correta: