Помогите упростить вырадение (AUC) U (B∩С)

Первая скобка является объединением множест A и B, когда вторая является пересечением B и C, то есть содержимое второй скобки уже есть в первой, а поскольку они объединены, то вторую скобку можно выкинуть. (AUC) U (B∩С)=(AUC)