simplificação lógica e leis de equivalência

[MatheusComp606]

Meu professor da faculdade pediu para eu fazer uma simplificação da expressão abaixo usando apenas as leis de equivalência e eu não to conseguindo...

Expressão:
[P ^ ¬ (¬P V Q)] V (P ^ Q)

podem me ajudar?

[skaa]

\(=(P\wedge(\neg\neg P\wedge\neg Q))\vee(P\wedge Q)=(P\wedge P\wedge\neg Q)\vee(P\wedge Q)=(P\wedge\neg Q)\vee(P\wedge Q)=P\wedge(\neg Q\vee Q)=P\wedge1=P\)