Проверить тождество и проиллюстрировать решение с диаграмм эйлера - венна a∩(b ∪c)= (a∩ b)∪ (a∩c)

A∩(B∪C)= (A∩B)∪(A∩C).
∪ - объединение (логическое сложение),
∩ - пересечение (логическое умножение).
Аналог раскрытия скобок в алгебре: a*(b+c)=a*b+a*c.
Круги Эйлера прилагаются.