Qual é a negação lógica de p ∨ q?

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

Explicação:
Pela Lei de De Morgan nega-se cada proposição e troca-se o "ou" por "e".

Exemplo:
Considere p = "o sensor está ativo" e q = "a luz está acesa".
A afirmação p ∨ q = "o sensor está ativo ou a luz está acesa".
Sua negação: \( \neg (p \lor q) \equiv \neg p \land \neg q\), isto é, "o sensor não está ativo e a luz não está acesa".