Qual é a equivalência lógica da condicional \(p \rightarrow q\) em termos de negação e disjunção?

\(p \rightarrow q \equiv \lnot p \lor q\)

Explicação:
A condicional só falha quando \(p\) é verdadeira e \(q\) é falsa, por isso ela é equivalente a "não \(p\) ou \(q\)".

Exemplo:
Seja \(p\) = "estudou para a prova" e \(q\) = "passa na prova".
A afirmação "se estudou então passa" equivale a "não estudou ou passa".
Casos: estudou e não passa → condicional falsa; em todos os outros casos → condicional verdadeira.