Qual forma é logicamente equivalente à condicional p→q?

¬q → ¬p

Explicação:
A condicional p→q é equivalente à sua contrapositiva, isto é ¬q→¬p, ambas têm as mesmas condições de verdade.

Exemplo:
Original: "Se a tecla funciona, então o computador responde."
Contrapositiva equivalente: "Se o computador não responde, então a tecla não funciona."