Qual condicional é logicamente equivalente à fórmula \(p \lor \neg q\)?

\(q \to p\)

\(p \lor \neg q\) e \(q \to p\) têm a mesma tabela de verdade, a implicação é falsa apenas quando \(q\) é verdadeira e \(p\) é falsa, exatamente a única situação em que \(p \lor \neg q\) também é falsa.

Exemplo:
Se \(p\): lâmpada está acesa e \(q\): interruptor está ligado, então \(p \lor \neg q\) é "lâmpada acesa ou interruptor não está ligado", equivalente a \(q \to p\), que é "se o interruptor está ligado, então a lâmpada está acesa".