Qual é a equivalência de De Morgan para a negação da conjunção (a ∧ b)?

\( \neg(a \land b) \equiv \neg a \lor \neg b \)

Explicação:
Negar que ambas as proposições sejam verdadeiras significa que pelo menos uma delas é falsa; por isso a negação da conjunção vira a disjunção das negações.

Exemplo:
Considere \(a\): "A luz está acesa" e \(b\): "O alarme está ativado".
\( \neg(a \land b)\) = "Não é verdade que a luz está acesa e o alarme está ativado".
Isso equivale a \( \neg a \lor \neg b\) = "A luz não está acesa ou o alarme não está ativado".