Qual é a equivalência lógica de ~(P ∨ Q) aplicando De Morgan e negação dupla?

\( \sim(P\lor Q)\equiv \sim P\land \sim Q\).

Aplicando a lei de De Morgan: \( \sim(A\lor B)=\sim A\land\sim B\).
Para \(A=P\) e \(B=Q\) obtemos \( \sim(P\lor Q)=\sim P\land\sim Q\).

Exemplo:
Se \(R\): Está chovendo e \(S\): Há trânsito, então
\( \sim(R\lor S)=\sim R\land\sim S\), isto é, Não está chovendo e não há trânsito.