Como se transforma logicamente uma condicional p → q em uma disjunção equivalente?

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

Explicação:
Uma condicional é verdadeira sempre que o antecedente for falso ou o consequente for verdadeiro.
Portanto, \(p \to q\) pode ser reescrito como \(\neg p \vee q\).

Exemplo:
Se \(p\): "está chovendo" e \(q\): "o passeio foi cancelado",
a condicional "Se está chovendo, então o passeio foi cancelado"
é equivalente à disjunção "Não está chovendo ou o passeio foi cancelado", ou seja, \(\neg p \vee q\).