(А->(В^C))^A^C решить с помощью законов B под отрицанием и A^C под отрицанием

Решите задачу:

$(a\to(\overline bc))\overline{ac}=(\overline a+\overline bc)(\overline a+\overline c)=\overline a\cdot \overline a+\overline a\cdot\overline c+\overline a\overline bc+\overline bc\overline c= \\ \overline a+\overline a\cdot\overline c+\overline a\overline bc+0=\overline a(1+\overline c)+\overline a\overline bc=\overline a+\overline a\overline bc=\overline a(1+\overline bc)=\overline a$