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

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

Explicação: A negação de uma conjunção é a disjunção das negações; é verdadeira quando pelo menos um dos componentes é falso.

Exemplo:
Se p= "Há luz na sala" e q= "O computador está ligado":
\(p \land q\) = "Há luz e o computador está ligado".
\(\neg(p \land q)\equiv \neg p \lor \neg q\) = "Não há luz ou o computador não está ligado (ou ambos)".