Ответ:

Так как \(B\cap C\subseteq B\), объединение с \(B\cap C\) не добавляет новых элементов: \((A\cup B)\cup(B\cap C)=A\cup B\).

На диаграмме отмечены области, входящие в результат. Обозначения регионов: A, B, C — части только одного множества; AB, AC, BC — части ровно двух; ABC — общая часть; O — вне всех трёх множеств.

ABCABCABACBCABCO

Отмеченные области: A, B, AB, AC, BC, ABC.