(A+CB)->(A<->B) решите с помощью законов.

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

$(a+cb)\to(a\equiv b)=\overline{a+bc}+(a\equiv b)=\overline a\cdot\overline{bc}+(a\equiv b)= \\ \overline a(\overline b+\overline c)+(a\equiv b)=\overline a\cdot\overline b+\overline a\cdot\overline c+(a\equiv b)= \\ \overline a\cdot\overline b+\overline a\cdot\overline c+ab+\overline a\cdot\overline b=\overline a\cdot\overline b+\overline a\cdot\overline c+ab$