Помогите пожалуйста решить

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

$\displaystyle \overline d\to(a\land \overline c)=d\lor a \land \overline c \\ \\ ((c \lor b)\to b)\land \lnot(a \lor c)=(\overline{c+b}+b)\cdot\overline{a+c}=(\overline c\cdot\overline b+b)(\overline a\cdot\overline c)= \\ \\ \overline a\,\overline b\,\overline c+\overline a\,b\overline c=\overline a\,\overline c(\overline b+b)=\overline a\,\overline c=\overline a\land\overline c$