Como se forma a negação de uma conjunção lógica p ∧ q?

Resposta

¬(p ∧ q) ≡ ¬p ∨ ¬q

Aplica-se a lei de De Morgan, nega-se cada proposição e substitui-se o conectivo e por ou, ou seja \( \neg(p \land q) \equiv \neg p \lor \neg q\).
exemplo: Seja \(p\): o sensor detectou movimento, \(q\): a luz acendeu.
A negação de "p e q" é "o sensor não detectou movimento ou a luz não acendeu", simbolicamente \( \neg(p \land q) \equiv \neg p \lor \neg q\).