Диаграмма Эйлера-Венна.
Леонард Эйлер любое логическое высказывание для наглядности предложил изображать в виде круга (отсюда и название - круги Эйлера. («Круги…» — это условный термин, вместо «кругов» могут быть любые многомерные фигуры, иерархически расположенные в пространстве, то есть одни фигуры поглощают либо часть других фигур, либо полностью.), а его отрицание -плоскостью, лежащей вне круга.
Графическое изображение составного высказывания было предложено Джоном Венном, британским философом, математиком и логиком в 1881 (отсюда и название - диаграммы Венна. Диаграмма Венна показывает математические или логические отношения между множествами или событиями; собственно «диаграмма Венна» показывает всевозможные отношения между множествами или событиями из некоторого семейства)
Для составного высказывания, состоящего из двух элементарных множеств А и В, на диаграмме изображают два пересекающихся друг с другом круга и штрихуют (заливают разными цветом) области, соответствующие составному высказываю.
Стоит запомнить, что для графического изображения логического сложения (логическое ИЛИ) применяют термин – объединение, а для логического умножения (логическое И) - пересечение.