Qual condicional é logicamente equivalente a p ∨ q?

\( \neg p \to q \)

\(p \vee q \equiv \neg p \to q\)
Porque se p é verdadeira, ambas as fórmulas são verdadeiras; se p é falsa, ambas exigem que q seja verdadeira — logo possuem a mesma tabela-verdade.

Exemplo:
Seja p: "há energia na rede" e q: "o gerador está funcionando".
Então \(p \vee q\) = "Há energia na rede ou o gerador está funcionando" é equivalente a \(\neg p \to q\) = "Se não há energia na rede, então o gerador está funcionando".