6.8.31 Теория множеств

Условие: Для заданного теоретико-множественного тождества: a) проиллюстрировать тождество диаграммой Эйлера-Венна; б) проверить тождество методом характеристических функций. \[ (A \cup B) \triangle(A \cup C)=\bar{A} \cap((B \cap \bar{C}) \cup(\bar{B} \cap C)) \text {. } \]