Qual é a forma logicamente equivalente da negação de uma disjunção P ∨ Q?

¬(P ∨ Q) ≡ (¬P) ∧ (¬Q)

Negue cada proposição da disjunção e substitua o conectivo ou por e, formalmente \( \neg(P \lor Q) \equiv (\neg P) \land (\neg Q)\).

Exemplo: Frase: "Não é verdade que: o projeto foi aprovado ou o orçamento foi liberado"
Equivalente: "O projeto não foi aprovado e o orçamento não foi liberado"