Построить диаграмму Эйлера-Венна, используя комбинаторный принцип включений-исключений, выразить мощность множества D через мощности A,B,C и их пересечений (мощность универсального множества U также считается известной). Доказать полученное методом характеристических функций.
D=(A∩B)Δ(C∪ ¬A)