- •Дискретная математика
- •Воронеж 2012
- •Введение
- •1. Элементы теории множеств
- •1.1. Основные понятия и определения теории множеств
- •1.2. Операции над множествами и их свойства. Диаграммы Эйлера-Венна
- •1.3. Мощность множества
- •1.4. Взаимно однозначное соответствие между множествами
- •1.5. Счетные и несчетные множества
- •Задачи и упражнения
- •2. Элементы теории отношений
- •2.1. Бинарные отношения. Свойства отношений
- •2.2. Отношение эквивалентности и разбиения
- •2.3. Отношения порядка. Диаграмма Хассе
- •Задачи и упражнения
- •3. Функции, отображения и операции
- •4. Элементы теории графов
- •4.1. Основные понятия и определения теории графов
- •4.2. Типы графов
- •4.3. Матричные представления графов
- •4.5. Операции над графами
- •4.6. Метрические характеристики графа. Расстояние в графах
- •Затем, изымая степень, соответствующую вершине , получим
- •4.8. Достижимость и связность
- •4.8.1. Основные определения
- •4.8.2. Матрицы достижимостей
- •4.8.3. Нахождение сильных компонент
- •Алгоритм нахождения сильных компонент графа можно описать следующей последовательностью шагов
- •Таким образом, сильные компоненты графа можно находить по следующему алгоритму.
- •4.8.4. Базы и антибазы
- •4.9. Независимые и доминирующие множества
- •4.9.1. Нахождение всех максимальных независимых множеств
- •Опишем алгоритм нахождения всех максимальных независимых множеств вершин графа.
- •4.10. Покрытия и раскраски
- •4.11. Деревья, остовы и кодеревья
- •4.11.1. Основные определения
- •4.11.2. Алгоритм построения остова неорграфа
- •4.11.4. Обходы графа по глубине и ширине
- •Доказательство.
- •4.11.5. Упорядоченные и бинарные деревья
- •4.12. Эйлеровы циклы. Гамильтонов контур
- •4.12.1. Метод Флёри построения эйлерова цикла
- •Матрица м данного графа имеет вид
- •4.12.3. Алгебраический метод выделения гамильтоновых путей и контуров
- •4.13. Плоские и планарные графы
- •4.13.1. Формула Эйлера
- •4.13.2. Критерии анализа планарности
- •4.13.3. Алгоритм укладки графа на плоскости
- •Задачи и упражнения
- •5. Алгебра логики
- •5.1. Операции над высказываниями
- •5.2. Правила записи сложных формул
- •5.3. Таблицы истинности
- •5.4. Равносильность формул
- •5.5. Дизъюнктивные и конъюнктивные нормальные формы
- •5.5.1. Аналитический способ приведения к сднф
- •5.5.2. Табличный способ приведения к сднф
- •5.5.3. Табличный способ приведения к скнф
- •5.7. Геометрическое представление булевых функций
- •5.7.1. Геометрический метод минимизации булевой функции
- •Задачи и упражнения
- •6. Разрешимые и неразрешимые проблемы
- •Заключение
- •Библиографический список
- •Оглавление
- •394026 Воронеж, Московский просп., 14
5.2. Правила записи сложных формул
При записи сложных высказываний следует обращать внимание, чтобы в формулах не было двух рядом стоящих логичеcких операций. Они должны быть разъединены формулами либо вспомогательными символами.
При записи сложных формул следует помнить, что
1) каждое вхождение логической связки относится к пропозициональной переменной или формуле, следующей непосредственно за логической операцией справа;
2) каждое вхождение логической операции после расстановки скобок связывает пропозициональные переменные или формулы, непосредственно окружающие логическую операцию;
3) каждое вхождение логической операции после расстановки скобок связывает пропозициональные переменные или формулы, непосредственно окружающие эту операцию и т.д.
При использовании этих правил к одной и той же формуле скобки следует расставлять постепенно, продвигаясь слева направо.
Пример. Пусть дана формула
F=((X1 )X3)X4.
Последовательность выполнения операций после задания значений пропозициональных переменных следующая: сначала необходимо определить значение формулы , затем (X1 ) затем (X1 )X3) и, наконец,
((X1 )X3)X4.
Пример. Для формулы F=X1X2X3 X3X1. последовательность выполнения логических операций следующая: операций .
5.3. Таблицы истинности
Каждая пропозициональная переменная принимает значения 0 или 1, тогда ПФ в соответствии с определением логических операций также принимает значения 0 или 1, поэтому ее можно рассматривать как функцию, область значений и область определения которой совпадают и равны {0,1}. Такую функцию будем называть булевой функцией, двоичной или переключательной функцией.
Каждой ПФ, а значит и булевой функции, можно поставить в соответствие таблицу, называемую таблицей истинности, в которой перечислены все возможные значения входящих в нее переменных и значения ПФ или булевой функции на этих наборах. Каждый такой набор можно рассматривать как запись некоторого n-разрядного двоичного числа, при этом наибольшее двоичное число получим, составив набор из одних 1, а наименьшее – из одних 0. Таким образом, наибольшему числу соответствует десятичное число – 1, а наименьшему – 0; всем остальным возможным наборам числа, заключенные между 0 и –1. Это соответствие способствует упорядочению наборов аргументов булевой функции, которые заносятся в таблицу в порядке возрастания. Если функция зависит от n переменных, то таблица истинности содержит наборов значений переменных.
С помощью таблицы истинности определяются все логические операции над высказываниями:
X |
Y |
|
|
|
|
|
|
0 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
Пример. Рассуждение «если инвестиции на текущий год не изменятся (A), то возрастет расходная часть бюджета (B) или возникнет безработица (C), а если возрастет расходная часть бюджета, то налоги не будут снижены (D) и, наконец, если налоги не будут снижены и инвестиции не изменятся, то безработица не возникнет».
В этом рассуждении есть четыре повествовательных предложения, которые следует заменить пропозициональными переменными и формально описать суждение. Тогда формула сложного рассуждения имеет вид:
F =(A(BC)) (BD) ((DA) ).
Для различных значений истинности пропозициональных переменных и подформул, построенных на логических операциях, можно последовательно определить значение истинности формулы F. Ниже представлена таблица истинности для этого рассуждения.
Для удобства записи любой подформулы и формулы каждый столбец пронумерован и логические операции выполняются с индексами столбцов.
A |
B |
C |
D |
C |
41 |
23 |
17 |
24 |
65 |
89 |
1110 |
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
9 |
10 |
11 |
12 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
Пример. Составим таблицу истинности для высказывания: «На экзамене я получу оценку «хорошо» или «отлично»». Выделим два простых высказывания: высказывание X= «На экзамене я получу оценку «хорошо»» и высказывание Y= «На экзамене я получу оценку «отлично»». Таблица истинности примет вид
X |
Y |
X или Y |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
0 |
По таблице истинности сложное высказывание «X или Y» можно представить как формулу , которую называют отрицанием эквивалентности или операцией сложения по модулю 2 и обозначают .
ПФ называется тождественно истинной, общезначимой или тавтологией, если она принимает значение 1 на всех наборах значений переменных. Для обозначения того, что ПФ F есть тавтология используют запись ├ F.
ПФ называется тождественно ложной или противоречием, если она принимает значение 0 на всех наборах значений переменных.
ПФ называется выполнимой или опровержимой, если на некоторых наборах значений переменных она принимает значение 1, а на остальных – 0.
Тип ПФ можно определить с помощью таблицы истинности.
Пример. Определить тип ПФ . Для определения типа ПФ составим таблицу истинности
X |
Y |
|
|
|
|
0 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
0 |
Как видно из таблицы истинности, данная ПФ является тождественно ложной, так как принимает значение 0 на всех наборах переменных.