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

\( \neg(p \land q) \equiv \neg p \lor \neg q \)

Explicação: Aplicando a Lei de De Morgan, a negação de uma conjunção vira a disjunção das negações, isso significa que basta que pelo menos uma das proposições seja falsa para que a negação seja verdadeira

Exemplo: Seja p: "o alarme disparou" e q: "a equipe chegou".
Então \( \neg(p \land q) \) equivale a \( \neg p \lor \neg q \), em linguagem natural: "o alarme não disparou ou a equipe não chegou", aqui o ou é inclusivo, podendo ocorrer que apenas um dos eventos falhou ou ambos falharam.