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

(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