98 БАЛЛОВ! Упростите логическое уравнение по информатике

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

$\displaystyle 1)\quad \overline{\overline A \to (B \to \overline C))}=\overline {A+(\overline B+\overline C)}=\overline ABC\\ \\2)\quad \overline {(\overline A\to B)}\cdot\overline{(A\to B)}=\overline{A+B+\overline A+B}=\overline 1=0\\ \\3) \quad A+\overline{B\overline C}+\overline{A\to\overline{\overline BC}}=A+\overline B+C+\overline{\overline A+B+\overline C}=\\ \\A+\overline B+C+A\overline BC=A(1+\overline BC)+\overline B+C=A+\overline B+C$