Question

(а-> (в^c))^a^c решить с законов b под отрицанием и a^c под отрицанием

Answer 1

$(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$