Доказать с помощью законов алгебры логики

Question

Доказать с помощью законов алгебры логики

---

Answer 1

(A→(B→C))→((A→B)→(A→))≡1
(¬A+¬B+C)→(A*¬B+¬A+C)≡1
A*B*¬C+A*¬B+¬A+C≡1
A*(B*¬C+¬B)+¬A+C≡1   (применяем формулу: A+¬A*B=A+B)
A*(¬B+¬C)+¬A+C≡1
¬A+¬B+¬C+C≡1                  (C+¬C=1)
1≡1