Qual condicional é logicamente equivalente a p ∨ q?

\(\lnot p \to q\)

Explicação:
\(\lnot p \to q\) equivale a \(\lnot(\lnot p)\lor q\), portanto \(\lnot(\lnot p)\lor q \equiv p\lor q\).
Assim, a disjunção \(p\lor q\) pode ser escrita como uma implicação com antecedente negado, usando a equivalência \(a\to b \equiv \lnot a\lor b\).

exemplo
Seja \(p\): "o sensor detecta movimento", \(q\): "o alarme dispara".
\(p\lor q\): "O sensor detecta movimento ou o alarme dispara".
\(\lnot p\to q\): "Se o sensor não detecta movimento, então o alarme dispara".
Por equivalência lógica, as duas formulas são equivalentes, pois \(\lnot p\to q \equiv \lnot(\lnot p)\lor q \equiv p\lor q\).