Операции над множествами и их свойства.
1.Обьединение: АВ=С – мн-во С, сост. из тех, и только тех элементов, которые входят в мн-во А или в мн-во В. Элементы в множестве не упорядочиваются. Элементы в множестве не повторяются
А ={5,6,9}, В={6,11,1} => АВ=С={5,6,9,11,1}.
Свойство операции обьединения: а)А=А; б)IА=I; в)АА=А; г)АВ=ВА (коммутативность); д)А(ВС)=(АВ)С(ассоциативность);
2 .Пересечение(произведение): АВ=С – состоит из тех, и только тех элементов, которые входят в мн-во А и входят в мн-во В. А={1,2,3}, В={2,1,4}=>АВ=С={2,1}.
Свойства операции пересечения: а)А=; б)АI=A; в)АА=А; г)АВ=ВА(комутативность); д)А(ВС)=(АВ)С(ассоциативность).
Общие св-ва:
а)А(ВС)=(АВ)(АС) – дистрибутивность операции пересечения относительно оп. обьединения.
б)А(ВС)=(АВ)(АС) – дистрибутивность операции обьединения относительно оп. пересечения.
3 .Разность: А\В=С – состоит из тех, и только тех элементов, которые входят в мн-во А, но не входят в мн-во В. А={9,3,10}, В={3,4}=>А\В=С={10,9}. А\В≠В\А
4. Дополнение. Если ВА, то операция А\В наз. дополнением мн-ва В до мн-ва А. I\A= – дополнение множества А.
Свойства дополнения:
а)=I; б)I=; в)А=А(з-н двойного отрицания); г)АА=I; д)АА=; е)(АВ)=АВ; ж)(АВ)=АВ(е,ж – з-ны де Моргана); з)А(ВВ)=А; и)А(ВВ)=А(з,и – з-ны поглашения).
- Множества. Основные понятия.
- Операции над множествами и их свойства.
- Декартово произведение. Разбиение множеств.
- Алгебра множеств
- Отношение. Бинарное отношение
- Алгебра бинарных отношений
- Отображение. Виды отображений
- Отношение порядка. Изоморфизм упорядоченных множеств.
- Алгебраические системы. Изоморфизм алгебраических систем.
- Функции алгебры логики.
- Формулы. Реализация функций формулами.
- Эквивалентность формул. Свойства элементарных булевых функций.
- Двойственные функции. Принцип двойственности
- Разложение булевых функций по переменным. Сднф.
- Полнота и замкнутость.
- Представление булевых функций в виде полинома Жегалкина. Теорема Жегалкина.
- Классы т0, т1.
- Класс s.
- Класс м.
- Класс l
- Теорема о функциональной полноте. Проверка системы функций на полноту.
- Задача минимизации булевых функций.
- Задача минимизации булевых функций в геометрической постановке.
- Сокращенные днф.
- Тупиковые днф и решение задачи минимизации.
- Графы. Основные понятия.
- Орграфы. Основные понятия.
- Маршруты. Цепи. Циклы. Связность.
- Операции над графами