Решите с помощью законов логики, пожалуйста!

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

$\displaystyle 1. \quad (a\rightarrow (b\land c))\land(c\rightarrow(c\land a))=(\overline a+\overline{bc})(\overline c+\overline{ca})= \\ (\overline a+\overline b+\overline c)(\overline c+\overline c+\overline a)=\overline b(\overline a+\overline c)(\overline a+\overline c)=\overline b(\overline a+\overline c)=\overline a\,\overline b+\overline b\,\overline c$
$\diaplaystyle 2. \quad x\land(x\lor y)\land\lnot y=x(x+y)\overline y=(x+xy)\overline y=x\overline y+0=x\overline y \\ 3.\quad x\land(x\lor y)\land\lnot x=x(x+y)\overline y=(x+xy)\overline x=0+0=0$