Qual é a forma equivalente da negação de uma conjunção p ∧ q?

Resposta

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

Essa equivalência é a Lei de De Morgan: a negação de uma conjunção transforma-se na disjunção das negações.
Por isso, negar "p e q" resulta em "não p ou não q".

Exemplo:
Considere p = "está chovendo" e q = "há vento".
Frase original: "Está chovendo e há vento".
Sua negação: "Não está chovendo ou não há vento".
Em notação: \( \neg(p\land q)\equiv \neg p\lor \neg q \).