Qual transformação de \(p\rightarrow q\) é sempre logicamente equivalente à condicional original?

A contrapositiva: \( \neg q \rightarrow \neg p\).

Explicação:
A contrapositiva nega e inverte antecedente e consequente; é logicamente equivalente à condicional \(p\rightarrow q\).
Já a inversa \( \neg p\rightarrow \neg q\) e a conversa \( q\rightarrow p\) não são, em geral, equivalentes a \(p\rightarrow q\).

Exemplo:
Se \(p\): "estudou" e \(q\): "passou no exame":
\(p\rightarrow q\): "Se estudou então passou."
Contrapositiva \( \neg q\rightarrow \neg p\): "Se não passou então não estudou" — equivalente a \(p\rightarrow q\).
Inversa \( \neg p\rightarrow \neg q\): "Se não estudou então não passou" — pode ser falsa mesmo quando \(p\rightarrow q\) é verdadeira (alguém pode não estudar e ainda assim passar).