Qual expressão é logicamente equivalente a p → q?

¬p ∨ q

Explicação:
\(p \to q \equiv \neg p \lor q\).
O condicional é falso apenas quando \(p\) é verdadeiro e \(q\) é falso, a disjunção \(\neg p \lor q\) também é falsa exatamente nessas mesmas condições, por isso são equivalentes.

exemplo:
Se \(p\) = "há combustível" e \(q\) = "o carro anda", então "se há combustível, então o carro anda" é equivalente a "não há combustível ou o carro anda".