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

¬(P ∧ Q) ≡ ¬P ∨ ¬Q

Pela Lei de De Morgan, a negação de uma conjunção transforma-se na disjunção das negações, ou seja \( \neg(P\land Q)\equiv \neg P\lor \neg Q\).

Exemplo:
Seja P = "A luz está acesa" e Q = "O computador está ligado".
Então P ∧ Q = "A luz está acesa e o computador está ligado".
A negação é "A luz não está acesa ou o computador não está ligado", formalmente \( \neg(P\land Q)=\neg P\lor \neg Q\).