Qual é a forma disjuntiva equivalente à condicional \(p \to \neg q\)?

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

Interpretação: afirma que pelo menos uma das proposições é verdadeira, ou não \(p\), ou não \(q\), a única violação ocorre quando \(p\) e \(q\) são verdadeiros simultaneamente.

Exemplo: Seja \(p\): está chovendo, \(q\): vamos ao parque.
A condicional "Se \(p\), então ¬\(q\)" é \(p \to \neg q\).
Forma equivalente em disjunção: \(\neg p \lor \neg q\), que diz "ou não está chovendo, ou não vamos ao parque".
A situação que contraria a afirmação é "está chovendo" e "vamos ao parque" ao mesmo tempo.