Qual é a negação lógica de \(p \wedge q\)?

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

Aplicando as leis de De Morgan: a negação de uma conjunção é a disjunção das negações.
O conectivo ou aqui é inclusivo — basta que uma das negativas seja verdadeira.

Exemplo:
Se p = "luz acesa" e q = "ventilador ligado", então a negação de "luz acesa e ventilador ligado" é "luz não acesa ou ventilador não ligado".
Em símbolos: \( \neg(p \wedge q) \equiv \neg p \vee \neg q\).