Большое спасибо, что направили на правильное решение.

Проверьте, пожалуйста, верно ли сокращены данные выражения:
1) A + A * B = A
2) (A - C) * (B - неC ) = пустое множество
3) (A + B ) * (B + C) = (A * C) + B
4) (A + B ) * (A + неB ) = A + (B * не B ) = A
5) (A + B ) * (неA + B ) * (A + неB ) = (B + (A * неA )) * (A + неB ) = B * (A + неB ) = B * A + B * неB = B * A