Упростите высказывание , используя равносильные преобразования. Помогите пожалуйста срочно!

F=(A*B→C)+A*¬CF=¬(A*B)+C+A*¬CF=¬A+¬B+C+A*¬C                     F=(¬А+А*¬С) +¬В+С     (Закон свёртки: ¬А+А*¬С=¬А+¬С)F=¬A+¬C+¬B+C            (C+¬C=1;    1+A=1)F=1