Qual é a negação lógica de uma disjunção \(A \lor B\)?

\( \neg(A \lor B) \equiv \neg A \land \neg B\)

Explicação:
Aplicando a Lei de De Morgan, a negação de uma disjunção transforma‑a na conjunção das negações, ou seja negue cada proposição e una-as com e.

Exemplo:
Sejam \(P\): "Há luz" e \(Q\): "Há internet".
A proposição "Não há luz ou não há internet" é \( \neg P \lor \neg Q\).
Sua negação é \( \neg(\neg P \lor \neg Q) \equiv \neg(\neg P) \land \neg(\neg Q) \equiv P \land Q\).
Logo, a negação é "Há luz e há internet".