Qual é a negação lógica de uma proposição da forma a ∧ ¬b?

\( \lnot a \lor b \)

Explicação:
Por De Morgan, \( \lnot(a \land \lnot b)\equiv \lnot a \lor b\).
Isso significa que, se a conjunção a ∧ ¬b for falsa, então ou não a ou b é verdadeira.

Exemplo:
Se \(a\): "enviei o relatório" e \(b\): "havia erros no relatório", a proposição é \(a \land \lnot b\) = "enviei o relatório e não havia erros".
Se isso é falso, então vale \( \lnot a \lor b\): "não enviei o relatório ou havia erros no relatório".