упростить выражение (не( (не a) и (не b)) или (a и с)

[tex]\lnot((\lnot a)\land(\lnot b))\lor(a \land c)=\overline{\overline a\cdot\overline b}+ac=a+b+ac=a(1+c)+b= \\ a\cdot1+b=a+b[/tex]