Como se reescreve uma implicação p → q usando negação e disjunção?

\(p \to q\) é equivalente a \(\lnot p \lor q\).

Explicação:
A implicação é falsa somente quando p é verdadeira e q é falsa, e a disjunção \(\lnot p \lor q\) também é falsa apenas nessa situação, por isso são logicamente equivalentes.

Exemplo:
Considere p = "o sensor detectou movimento" e q = "as luzes acenderam".
Então \(p \to q\) equivale a \(\lnot p \lor q\), que lê-se "o sensor não detectou movimento ou as luzes acenderam".