Определите являются ли два высказывания эквивалентными.Пожалуйста

$\overline{\overline ab+a(b+\overline c)}=\overline{\overline ab+ab+a\overline c}=\overline{b(\overline a+a)+a\overline c}=\overline{b+a\overline c}= \\ \overline b\cdot\overline{a\overline c}=\overline b(\overline a+c)$

Собственно, выражение привелось ко второму исходному, эквивалентность подтверждена.