Qual é a forma lógica equivalente da negação de uma conjunção \(p\wedge q\)?

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

Pela equivalência de De Morgan, a negação de uma conjunção transforma‑se na disjunção das negações: se \(p\wedge q\) é falso, então p é falso ou q é falso (ou ambos).

Exemplo:
Considere \(p\)="há energia elétrica" e \(q\)="o computador está ligado".
A afirmação "há energia elétrica e o computador está ligado" sendo falsa implica:
"não há energia elétrica ou o computador não está ligado" — em símbolos: \(\neg(p\wedge q)\equiv(\neg p\vee\neg q)\).