Qual é a negação lógica de uma conjunção p ∧ q?

Negação: \( \neg(p \land q) = \neg p \lor \neg q \)

Explicação: Ao negar uma conjunção, negue cada componente e substitua o conectivo e por ou, aplicando a lei de De Morgan.

Exemplo:
Considere p = "O arquivo foi salvo" e q = "O backup foi concluído".
A conjunção é "O arquivo foi salvo e o backup foi concluído".
Sua negação é \( \neg p \lor \neg q \), ou seja, "O arquivo não foi salvo ou o backup não foi concluído".