Qual fórmula é logicamente equivalente ao condicional p → q?

Equivalente: \( \neg p \lor q\).

Explicação:
O condicional \(p\to q\) é falso somente quando \(p\) é verdadeiro e \(q\) é falso.
A disjunção \(\neg p\lor q\) também é falsa apenas nessa mesma situação (quando \(\neg p\) é falsa e \(q\) é falsa).
Logo, ambas têm os mesmos valores de verdade em todas as interpretações, sendo logicamente equivalentes; assim, \((p\to q)\leftrightarrow(\neg p\lor q)\) é uma tautologia.

Exemplo:
Considere \(p\): "chove" e \(q\): "a rua fica molhada".
Linhas de avaliação:
\(p=V,\ q=V \Rightarrow p\to q = V,\ \neg p\lor q = V\)
\(p=V,\ q=F \Rightarrow p\to q = F,\ \neg p\lor q = F\)
\(p=F,\ q=V \Rightarrow p\to q = V,\ \neg p\lor q = V\)
\(p=F,\ q=F \Rightarrow p\to q = V,\ \neg p\lor q = V\)