2.2.Операции над множествами.Математическая логика и теория алгоритмов.

Объединение, пересечение и дополнение обычно называются булевыми операциями, составленные из множеств с их помощью выражения — булевыми выражениями, значение такого выражения — булевой комбинацией входящих в него множеств, а равенство двух булевых выражений — булевым тождеством. Весь материал взят: