Qual é a negação lógica de uma conjunção A ∧ B?

¬(A ∧ B) ≡ ¬A ∨ ¬B

Explicação:
Para negar uma conjunção, nega-se cada proposição e troca-se o conectivo e por ou, assim obtemos uma disjunção das negações.

Exemplo:
Se A = "Está chovendo" e B = "o trânsito está livre", então ¬A = "Não está chovendo", ¬B = "O trânsito não está livre", e
¬(A ∧ B) = ¬A ∨ ¬B = "Não está chovendo ou o trânsito não está livre".