Qual a forma equivalente de \(p\to q\) usando apenas negação e disjunção?

\(\neg p\lor q\)

Explicação:
Temos a equivalência padrão \(p\to q\equiv\neg p\lor q\).
Motivo: \(p\to q\) é falsa só quando \(p\) é verdadeiro e \(q\) falso; nessa mesma combinação \(\neg p\lor q\) também é falsa, e em todas as outras é verdadeira.

Exemplo:
Seja \(p\): estudar, \(q\): passar no teste.
\(p\to q\) = "Se estudar, então passa no teste".
Equivalente: \(\neg p\lor q\) = "Não estudar ou passar no teste".
Verificação rápida: para (p,q)=(V,F) ambas as fórmulas são F; nos demais casos são V, logo são logicamente equivalentes.