Qual é a negação lógica de uma disjunção \(A \vee B\)?

¬(A ∨ B) ≡ ¬A ∧ ¬B.

Explicação:
Para negar uma disjunção nega-se cada componente e troca-se o conectivo ou por e.
Em símbolos: \( \neg(A\vee B)\equiv \neg A\wedge \neg B\).

Exemplo:
Frase: “Há energia elétrica ou o gerador está funcionando.”
Se A = “Há energia elétrica” e B = “O gerador está funcionando”, a negação é:
“Não há energia elétrica e o gerador não está funcionando.”
Em símbolos: \( \neg(A\vee B)=\neg A\wedge \neg B\).