Como negar logicamente uma conjunção P ∧ Q?

Negação: \( \neg(P \land Q) \equiv \neg P \lor \neg Q\)

Explicação:
Para negar uma conjunção, aplique a negação a cada proposição componente e troque o conectivo ∧ por ∨, conforme as Leis de De Morgan.
Formalmente: \( \neg(P \land Q) \equiv \neg P \lor \neg Q\).

Exemplo:
Seja P: "A porta está fechada", Q: "A luz está apagada".
A negação de \(P \land Q\) é: "A porta não está fechada ou a luz não está apagada".
Em símbolos: \( \neg(P \land Q) \equiv \neg P \lor \neg Q\).