Qual é a forma equivalente da condicional p → q usando negação e disjunção?

\(p \to q \equiv (\neg p \vee q)\)

Explicação:
A condicional é falsa apenas quando \(p\) é verdadeira e \(q\) é falsa; a disjunção \(\neg p \vee q\) tem o mesmo comportamento, logo são logicamente equivalentes.

Exemplo:
Considere: p = "O sistema falha", q = "O alarme soa".
\(p \to q\): "Se o sistema falha então o alarme soa".
\(\neg p \vee q\): "O sistema não falha ou o alarme soa".
Verificando um caso: se \(p=\mathrm{V}\) e \(q=\mathrm{F}\) então \(p\to q=\mathrm{F}\) e \(\neg p\vee q=\mathrm{F}\), mostrando a equivalência.