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

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

Pela Lei de De Morgan, nega-se cada proposição e troca-se a conjunção pela disjunção, o "ou" resultante é inclusivo.

Exemplo:
Sejam r: "o motor está ligado" e s: "as portas estão trancadas".
A proposição composta "o motor está ligado e as portas estão trancadas" é \(r\land s\).
Sua negação é "o motor não está ligado ou as portas não estão trancadas", simbolicamente \( \neg r\lor \neg s\).