Qual é a negação lógica de uma conjunção entre duas proposições?

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

Explicação:
A negação de uma conjunção transforma o e em ou, ou seja, basta que pelo menos uma das proposições originais seja falsa para que a negação seja verdadeira.

Exemplo:
Sejam P: "a lâmpada está acesa" e Q: "o ventilador está ligado".
Então \( \neg(P \land Q) = \neg P \lor \neg Q \).
Casos:
- P verdadeira, Q verdadeira → \(P \land Q\) verdadeira, então \( \neg(P \land Q)\) falsa.
- P verdadeira, Q falsa → \(P \land Q\) falsa, então \( \neg(P \land Q)\) verdadeira porque \( \neg Q\) é verdadeira.
- P falsa, Q verdadeira → \( \neg P\) é verdadeira, logo \( \neg(P \land Q)\) verdadeira.
- P falsa, Q falsa → ambas \( \neg P\) e \( \neg Q\) verdadeiras, logo \( \neg(P \land Q)\) verdadeira.