Qual é a negação logicamente equivalente de uma conjunção de duas proposições A e B?

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

Explicação: Pela Lei de De Morgan, a negação de uma conjunção transforma-se na disjunção das negações, assim não ocorrer ambas as proposições significa que pelo menos uma não ocorre.

Exemplo:
Seja A: o sistema está ligado, B: o usuário está autenticado.
A proposição \(A \land B\) significa "sistema ligado e usuário autenticado".
Sua negação é \(\neg(A \land B)\equiv (\neg A)\lor(\neg B)\), que significa "ou o sistema não está ligado, ou o usuário não está autenticado, ou ambos".