!(!A + (!B * (A + C)) + (B * !(A + C))) = !(!A + (!B * (A + C)) + B * !A * !C)
На данном этапе можно убрать B * !A * !C, так как присутствует менее строгое условие !A.
!(!A + (!B * (A + C)) + B * !A * !C) = !(!A + !B * (A + C)) = A * !(!B * (A + C)) =
A * (B + !(A + C)) = A * (B + !A * !C) = A * B + A * !A * !C = A * B