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

\( \neg(p \vee q) \equiv \neg p \wedge \neg q \)

Explicação:
Ao negar uma disjunção, nega-se cada proposição e troca-se o "ou" por "e", conforme as Leis de De Morgan.

Exemplo:
Se \(p\) = Está chovendo e \(q\) = Há sol, então a negação de \(p \vee q\) é Não está chovendo e não há sol, que corresponde a \( \neg p \wedge \neg q \).