Qual é a equivalência lógica de \(\lnot(P \lor Q)\) segundo a Lei de De Morgan?

\(\lnot(P \lor Q)\equiv \lnot P \land \lnot Q\)

Explicação:
Pela Lei de De Morgan, nega-se cada parcela e troca-se o "ou" por "e", assim obtém-se \( \lnot P \land \lnot Q\).

Exemplo:
Se \(p\): está chovendo, e \(q\): há guarda-chuva disponível,
a proposição \(p \lor q\) é "está chovendo ou há guarda-chuva".
Sua negação é \(\lnot(p \lor q)\equiv \lnot p \land \lnot q\), ou seja "não está chovendo e não há guarda-chuva disponível".