- •1. Теория множеств
- •1.1 Понятие множества
- •Свойства отношения включения:
- •Полезные соотношения:
- •1.2. Операции над множествами
- •1.3. Диаграммы Эйлера - Венна
- •1.4. Алгебра множеств
- •Законы:
- •I. Докажем, что левая часть включена в правую:
- •II. Докажем, что правая часть включена в левую:
- •1.5. Кортеж. График
- •Свойства графиков
- •1.6. Соответствия
- •2 3 4 5
- •1.7. Отношения
- •Свойства отношений
- •1.7.1 Отношение эквивалентности
- •Свойства :
- •1.7.2. Отношения порядка
- •1.7.3. Морфизмы
- •1.8. Решетки
- •1.8.1. Диаграммы Хассе
- •1.8.2. Понятие решетки
- •1.8.3. Алгебраическое представление решеток. Булевы решетки
- •1.8.4. Подрешетки
- •1.9.4. Мощность множества r. Теорема Кантора
- •1.9.5. Арифметика бесконечного
- •2. Математическая логика
- •2.1. Логика высказываний
- •2.1.1. Операции над высказываниями
- •2.1.2. Построение и анализ сложных высказываний
- •2.1.3. Алгебра высказываний
- •2.1.5. Преобразование высказываний
- •2.1.6. Минимизация высказываний методом Квайна
- •2.1.7. Минимизация с помощью карт Вейча
- •2.1.8. Функциональная полнота
- •4.2. Теорема Эйлера
- •4.10. Внутренняя устойчивость графа
- •4.11. Множество внешней устойчивости. Ядро графа
- •4.8. Определение путей в графе
- •4.9. Приведение графа к ярусно-параллельной форме
- •4.3. Полные графы и деревья
- •4.5. Алгоритм Краскала
- •4.12. Клика
2.1.2. Построение и анализ сложных высказываний
В качестве примера возьмем отрывок из Шолом-Алейхема (заимствованный, однако, у Д.А. Поспелова).
“... - Вот, что. Если вы хотите остаться у нас, если вы хотите, чтобы мы стали друзьями.
- Если вы не хотите, чтобы вам пришлось уезжать отсюда, то
- Забросьте книги под стол. Будем играть в шашки, в 66 или будем валяться на кровати и плевать в потолок...”
Придав конкретные значения отдельным элементарным высказываниям, можем определить истинность всего сложного высказывания для этого набора значений.
a - хочешь остаться в доме 1
b - хочешь остаться другом 0
с - захотеть уехать 0
d - забросить под стол книги 1
е - играть в шашки 0
f - играть в 66 1
g - валяться на кровати 1
h - плевать в потолок 0
a & b & ( c) d & (e f g h)
10 0 1 0 1 1 0
Другой пример. Пусть на три входа "черного ящика" (х1, х2, х3) подаются (1) или не подаются (0) импульсы во всевозможных сочетаниях. На выходе (f) импульс либо появляется (1), либо отсутствует (0).
x1
x2
f
x3
Результаты замеров заносятся в «журнал исследований » - таблицу истинности.
Пусть она имеет следующий вид:
х1 |
x2 |
x3 |
f |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
|
1 |
0 |
0 |
0 |
1 |
1 |
1 |
|
0 |
0 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
Что также можно записать в виде формулы:
f= x1x2x3 x1x2x3 x1x2x3 x1x2x3
2.1.3. Алгебра высказываний
Сложные высказывания называются равносильными(f ≡g), если на одинаковых наборах значений элементарных высказываний они принимают одинаковые значения.
Законы :
1. Коммутативный.
A B≡BA AB≡BA
2. Ассоциативный.
A (B C) ≡ A B C A(BC) ≡ ABC
3. Дистрибутивный.
A BC ≡ (A B)(A C)
A(B C) ≡ AB AC
4. Де Моргана.
A B ≡ AB AB ≡ A B
5. Идемпотентности.
A A ≡ A AA ≡ A
6. Поглощения.
A (AB) ≡ A A(A B) ≡ A
7. Исключенного третьего. Противоречия.
A A ≡ 1 AA ≡ 0
8. A 1 ≡ 1 A1 ≡ A
9. A 0 ≡ A A0 ≡ 0
10. 0≡ 1 1 ≡ 0
11. A≡ A
12. A B ≡A B
13. A B ≡ AB AB
14. A B ≡AB AB
15. A | B≡ AB ≡ A B
16. A B ≡A B ≡AB
17. Операция склеивания.
AB AB ≡ A
AB AB ≡ A
2.1.4. Формы представления высказываний
1. Форма А1 А2 ...Аn, где Аi,- элементарное высказывание или отрицание элементарного высказывания (литерал), называетсяэлементарной дизъюнкцией.
2. Форма B1 B2 ...Bn, где Bi- литерал, называетсяэлементарной конъюнкцией.
3. Форма D1 D2 ...Dn, где Dj- элементарная дизъюнкция, называетсяконъюнктивной нормальной формой (КНФ).
4. Форма K1 K2 ...Kn, где Kj- элементарная конъюнкция, называетсядизъюнктивной нормальной формой (ДНФ).
Всегда истинное (на любых наборах значений входящих в него элементарных высказываний) сложное высказывание называется тавтологией.
Всегда ложное (на любых наборах значений входящих в него элементарных высказываний) высказывание называется противоречием.
Совершенной КНФ (СКНФ)называется такая КНФ, что каждая входящая в нее элементарная дизъюнкция содержит все элементарные высказывания прямо или с инверсией строго по одному разу. Нет повторяющихся дизъюнкций. Любое сложное высказывание, кроме тавтологии, имеет единственную СКНФ.
Совершенной ДНФ (СДНФ)называется такая ДНФ, что каждая входящая в нее элементарная конъюнкция содержит все элементарные высказывания прямо или с инверсией строго по одному разу. Нет повторяющихся конъюнкций. Любое сложное высказывание, кроме противоречия, имеет единственную СДНФ.