Como se expressa a negação lógica de uma disjunção p ∨ q?

Resposta

\( \neg(p \lor q) \equiv \neg p \land \neg q\)

Esta equivalência significa que a negação de "p ou q" afirma que ambos p e q são falsos.

Exemplo:
Se r: "Está chovendo", s: "O sol está brilhando".
Então \( \neg(r \lor s) \equiv \neg r \land \neg s\).
Em linguagem simples: "Não está chovendo e o sol não está brilhando".