Qual é a negação lógica de uma conjunção P ∧ Q?

\(\neg(P \land Q) \equiv \neg P \lor \neg Q\)

Aplica-se a Lei de De Morgan, transformar a negação da conjunção na disjunção das negações, se algum termo já estiver negado, simplificar pela dupla negação.

Exemplo:
Considere a fórmula \(P \land \neg Q\).
\(\neg(P \land \neg Q) \equiv \neg P \lor \neg(\neg Q)\)
pela dupla negação, \(\neg(\neg Q)=Q\), logo \(\neg P \lor Q\).
Em palavras, se a frase fosse "P e não Q", a negação é "não P ou Q".