Qual é a negação lógica de uma conjunção p ∧ q?

¬(p ∧ q) ≡ ¬p ∨ ¬q

Negar uma conjunção transforma-a na disjunção das negações, conforme a Lei de De Morgan, \( \neg(p \land q) \equiv \neg p \lor \neg q \).
O ou é inclusivo, basta que pelo menos uma das proposições seja falsa para que a negação seja verdadeira.

Exemplo:
Se p = a lâmpada está acesa e q = a porta está fechada, então p ∧ q = "a lâmpada está acesa e a porta está fechada".
A negação é "a lâmpada não está acesa ou a porta não está fechada".