Решите задание с помощью кругов Эйлера

 pip install matplotlib matplotlib-venn  

 import matplotlib.pyplot as plt 
from matplotlib_venn import venn3, venn3_circles 
 
# Определим множества A, B и C 
A = set(['a', 'b', 'c', 'd']) 
B = set(['c', 'd', 'e', 'f']) 
C = set(['e', 'f', 'g', 'h']) 
 
# Вычислим множество Z = (B ∪ C) ∩ ¬(A \ B) 
# Сначала A \ B 
A_minus_B = A - B 
# ¬(A \ B) относительно универсального множества 
# Для простоты возьмем универсальное множество как объединение всех множеств 
universal = A | B | C 
not_A_minus_B = universal - A_minus_B 
 
# B ∪ C 
B_union_C = B | C 
 
# Z = (B ∪ C) ∩ ¬(A \ B) 
Z = B_union_C & not_A_minus_B 
 
# Печатаем элементы Z 
print("Множество Z:", Z) 
 
# Создаем диаграмму Венна трех множеств 
plt.figure(figsize=(8,8)) 
venn = venn3([A, B, C], ('A', 'B', 'C')) 
 
# Определим регионы для Z = B ∪ C ∩ ¬(A \ B) 
# Из предыдущего упрощения: Z = B ∪ (C ∩ ¬A) 
# Это означает, что все области, принадлежащие B плюс части C, не принадлежащие A 
 
# Зададим цвета для выделения Z 
# Получим идентификаторы регионов Венна 
# Регион '100' - только A 
# '010' - только B 
# '001' - только C 
# '110' - A и B 
# '101' - A и C 
# '011' - B и C 
# '111' - A, B и C 
 
# Определим, какие регионы принадлежат Z 
regions = { 
    '010',  # только B 
    '011',  # B и C 
    '001',  # только C 
    '101'   # A и C (но нам нужно C и не A \ B, то '101' содержит A, но Z включает C ∩ ¬A 
             # Проверим: '101' принадлежит C и A, но Z включает C ∩ ¬A, значит '101' не входит 
} 
 
# Проанализируем регионы: 
# Z = B ∪ (C ∩ ¬A) 
# '010' (B only) - входит 
# '011' (B и C) - входит 
# '001' (C only) - входит, так как C и не A 
# '101' (A и C) - C и A, следовательно, C ∩ ¬A не включается 
# Таким образом, '101' не входит 
 
# Теперь выделим регионы Z 
for region in ['010', '011', '001']: 
    if venn.get_label_by_id(region): 
        venn.get_patch_by_id(region).set_color('yellow') 
        venn.get_patch_by_id(region).set_alpha(0.7) 
 
# Добавим подписи 
plt.title("Диаграмма Венна для Z = (B ∪ C) ∩ ¬(A \\ B)") 
plt.show()