Como expressar a condicional p→q usando apenas negação e disjunção?

\( \neg p \lor q \)

Explicação:
A condicional \(p\to q\) é falsa somente quando \(p\) é verdadeira e \(q\) é falsa; a disjunção \(\neg p\lor q\) tem exatamente a mesma avaliação em todos os casos, portanto são logicamente equivalentes.

Exemplo:
p = "chove", q = "a rua está molhada".
Condicional: Se chove, então a rua está molhada.
Forma equivalente: Não chove ou a rua está molhada.

Caso ilustrativo: se chove (V) e a rua não está molhada (F), então \(p\to q\) é F e \(\neg p\lor q\) é F; nos demais casos ambas são V.