Como se nega logicamente uma conjunção entre duas proposições?

A negação de uma conjunção é a disjunção das negações:
\( \neg (P \land Q) \equiv \neg P \lor \neg Q \)

Explicação:
Aplicando a lei de De Morgan, negar "P e Q" resulta em "não P ou não Q".

Exemplo:
Considere P = "Está chovendo" e Q = "O parque está aberto".
Original: \(P \land Q\) = "Está chovendo e o parque está aberto".
Negação: \( \neg(P \land Q) \equiv \neg P \lor \neg Q\) = "Não está chovendo ou o parque não está aberto".
Verificação rápida: se P = true e Q = false, então \(P \land Q = false\), logo \( \neg(P \land Q)=true\); e \( \neg P \lor \neg Q = false \lor true = true\), iguais como esperado.