Помогите упростить логическое выражение, прошу

(A∧B=>C)v+Av!A∧C

! - ОТРИЦАНИЕ

F = (A&B=>C)+A+!A&C (A&B=>C) = !(A&B)+C = !A+!B+CF = !A+!B+C+!A&C = !A+!B+C&(!A+1) = !A+!B+CF = !A+!B+C