Qual é a negação lógica de uma disjunção p ∨ q?

Resposta

\( \lnot(p \lor q) \equiv \lnot p \land \lnot q \)

Explicação: Ao negar uma disjunção troca-se o "ou" por "e" e nega-se cada parcela, conforme a Lei de De Morgan, formalmente \( \lnot(p \lor q) \equiv \lnot p \land \lnot q \).

Exemplo:
Se p = "A senha está correta", e q = "O usuário está autenticado".
A proposição p ∨ q: "A senha está correta ou o usuário está autenticado".
Sua negação: \( \lnot(p \lor q) \equiv \lnot p \land \lnot q \), isto é, "A senha não está correta e o usuário não está autenticado".