ДАЮ 100! СРОЧНО! Используя законы алгебры логики упростить выражения

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

$\displaystyle 17.1. \quad \overline{(\overline x+\overline y)yx}+\overline{x+\overline x}+y=\overline{0+0}+\overline 1+y=1+0+y=1 \\ 17.2. \quad (xy+\overline x+x)+(\overline y+y(x+y))=(xy+1)+(\overline y+xy+y)= \\ 1+(1+xy)=1+1=1$
$\displaystyle 2. \quad \overline{(z+\overline y)+x\overline{z+\overline xy}} = \overline{z+\overline y+x\overline z(x+\overline y)}= \\ \overline{z+\overline y+x\overline z+x\overline y\cdot\overline z}=\overline{z+\overline y+x\overline z(1+\overline y)}=\overline{z+\overline y+x\overline z}= \\ \overline{\overline y+z+x}=\overline xy\overline z$