Qual é a negação lógica de uma conjunção entre duas proposições \(A\) e \(B\)?

\(\neg(A\land B)=\neg A\lor\neg B\).

Explicação:
Pela Lei de Morgan, a negação de uma conjunção transforma o e em ou e nega cada componente: negar \(A\land B\) é negar \(A\) ou negar \(B\).

Exemplo:
Se \(A\): "está chovendo" e \(B\): "há trânsito", então \(\neg(A\land B)\) é "não está chovendo ou não há trânsito", equivalente a \(\neg A\lor\neg B\).