Exercício de lógica formal

Demonstre que a as duas proposições complexas são equivalentes:

1. Não é verdade que a lógica formal é difícil e é complexa.
2 - A lógica formal não é difícil ou a lógica formal não é complexa

É um exercício que aplica a 1.ª lei de De Morgan: ¬(p ∧ q) → (¬p ∨ ¬q)