Иногда при анализе логических выражений полезно применять диаграммы Эйлера-Венна, которые являются удобным наглядным средством для работы с множествами. Но как же связаны логические операции с операциями над множествами?
Для однозначности будем обозначать множества строчными латинскими буквами: a, b, c.
Пусть u - некоторое универсальное множество, такое, что в него входят все элементы из всех остальных рассматриваемых множеств a, b, c..., т.е. эти множества являются подмножествами универсального множества u.
Каждому элементу x множества сопоставим высказывания
На диаграммах Эйлера – Венна универсальное множество обозначается прямоугольником, а все подмножества – кругами.
Универсальное множество u играет роль логической единицы, пустое множество Ø, не содержащее ни одного элемента, – нуля. Справедливы следующие свойства универсального множества: u ∩ a = a; u ∪ a = u.
Замечание 1. Если необходимо найти множество а так, чтобы выполнялось равенство a ∪ x = u (на диаграмме u - прямоугольник, a – закрашенная часть, x ‑ круг), то множество а должно либо совпадать с - дополнением x, либо быть больше его. Т.е.
Замечание 2. Если же необходимо найти множество а так, чтобы выполнялось равенство (на диаграмме u ‑ прямоугольник, закрашенная часть, x ‑ круг), то множество должно либо совпадать с дополнением x, либо быть больше его. Тогда