Qual é a forma logicamente equivalente de uma condicional da forma \((\neg p)\to q\) usando disjunção e negação?

p ∨ q

Explicação:
\(A\to B\equiv \neg A\vee B\). Aplicando com \(A=\neg p\) e \(B=q\) obtemos \( (\neg p)\to q \equiv \neg(\neg p)\vee q \equiv p\vee q\).
Intuitivamente, a condicional é falsa só quando o antecedente é verdadeiro e o consequente é falso, o que coincide com a verdade da disjunção.

Exemplo:
Considere: \(p\): há sinal de celular, \(q\): uso o rádio.
A frase "Se não há sinal de celular, então uso o rádio" é \((\neg p)\to q\).
Aplicando a equivalência, temos \( (\neg p)\to q \equiv p\vee q\), ou seja a afirmação é verdadeira sempre que haja sinal de celular, ou eu esteja usando o rádio.