Qual a negação logicamente equivalente de uma conjunção p ∧ q?

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

Ao negar uma conjunção, nega-se cada proposição e as une por uma disjunção, conforme a Lei de De Morgan, \( \neg(p \land q) \equiv \neg p \lor \neg q \).

Exemplo: Seja p = "Está chovendo" e q = "O sinal está verde".
Original: p ∧ q
Negação equivalente: ¬p ∨ ¬q, ou seja, "Não está chovendo ou o sinal não está verde".