- •1. Основы математической логики
- •1.1. Понятие составного высказывания
- •1.2. Логические операции над высказываниями
- •1.3. Логические отношения
- •1.4. Варианты импликации
- •1.5. Основные законы, определяющие свойства логических операций
- •1.6. Понятие булевой функции
- •1.7. Основные свойства элементарных булевых функций
- •1.8. Дизъюнктивные и конъюнктивные нормальные формы алгебры логики
- •Алгоритм построения
- •1.9. Совершенная дизъюнктивная и совершенная конъюнктивная нормальные формы
- •1.10. Многочлены Жегалкина
- •2. Множества и отображения
- •2.1. Понятие множества
- •2.2. Способы задания множеств
- •2.3. Подмножества
- •2.4 Операции над множествами
- •2.5. Соотношение между множествами и составными высказываниями
- •2.6. Соотношение между высказываниями и соответствующими им множествами истинности
- •2.7 Абстрактные законы операций над множествами
- •2.8. Кортежи и декартовое произведение множеств
- •2.9. Бинарные отношения
- •2.10. Отображение множеств
- •2.11. Функции
- •3. Логика предикатов или логика первого порядка
- •3.1. Предикаты
- •3.2. Применение предикатов в алгебре
- •3.3. Булева алгебра предикатов
- •3.4. Кванторы
- •3.5. Формулы логики предикатов
- •3.6. Равносильные формулы логики предикатов
- •3.7. Приведённые и нормальные формы в логике предикатов
- •3.8. Исчисление предикатов
- •4. Элементы теории алгоритмов
- •4.1. Вычислимые функции и алгоритмы
- •4.2. Свойства алгоритмов
- •4.3. Понятия разрешимого предиката, разрешимого множества, перечислимого множества
- •4.4. Пример алгоритма
- •4.5. Интуитивное понятие алгоритма
- •4.6.Теория рекурсивных функций. Простейшие функции
- •4.7. Операторы
- •4.8. Примитивно рекурсивные функции
- •4.9. Частично рекурсивные функции
- •4.10. Примитивно-рекурсивные предикаты
- •4.11. Нормальный алгоритм Маркова: основные понятия
- •4.12. Проблема слов в ассоциативном исчислении
- •4.13. Алгоритм в некотором алфавите а
- •4.14. Понятие нормального алгоритма
- •5. Примеры решения типовых задач. Задания для самостоятельного решения
- •5.1. Булевы функции. Таблицы истинности
- •Задания для самостоятельного решения
- •5.2. Равносильность булевых функций
- •Задания для самостоятельного решения
- •5.3. Преобразование булевых функций
- •Задания для самостоятельного решения
- •5.4. Функциональная полнота
- •Задания для самостоятельного решения
- •5.5. Булева алгебра. Нормальные формы
- •Задания для самостоятельного решения
- •5.6. Минимальные формы
- •Задания для самостоятельного решения
- •5.7. Алгебра Жегалкина
- •Задания для самостоятельного решения
- •5.8. Алгебра высказываний
- •Задания для самостоятельного решения
- •5.9. Предикаты
- •Задания для самостоятельного решения
- •5.10. Исчисление высказываний
- •Задания для самостоятельного решения
- •Список рекомендуемой литературы
Задания для самостоятельного решения
5.7.1. Построить полином Жегалкина, используя эквивалентные преобразования.
1.
8.
15.
2.
9.
16.
3.
10.
17.
4.
11.
18.
5.
12.
19.
6.
13.
20.
7.
14.
5.7.2. Постройте полином Жегалкина методом неопределенных коэффициентов.
1.
8.
15.
2.
9.
16.
3.
10.
17.
4.
11.
18.
5.
12.
19.
6.
13.
20.
7.
14.
5.7.3. Постройте полином Жегалкина, если функции и заданны вектором своих значений:
1) (1010 0101);
2) (0011 1101);
3) (0011 1100);
4) (0101 0011);
5) (0010 0011);
6) (0101 1001);
7) (1111 0101);
8) (0111 1111);
9) (1101 1011);
10) (0010 0011);
11) (1111 1100 1011 1001);
12) (1101 0011 1101 0011);
13) (1100 1011 1111 1011);
14) (0101 0101 1110 0011);
15) (0000 1111 0101 1100);
16) (0011 1101 0011 1100);
17) (1111 1100 1011 1011);
18) (0101 1111 1101 0011);
19) (0000 1011 1011 1010);
20) (0001 1101 1010 1111).
5.8. Алгебра высказываний
Высказыванием назовем повествовательное предложение относительно которого можно однозначно сказать истинно оно ( И или 1) или ложно ( Л или 0) в конкретный момент времени.
При помощи связок «не», «и», «или», «если,… то», «если и только если» (им отвечают операции «¬», « », « », « », «∼» соответственно) можно построить более сложные высказывания (предложения). Для упрощения записи сложных высказываний вводится
старшинство связок: «¬», « », « », « », «∼», что помогает опустить лишние скобки.
Простые высказывания назовем пропозициональными переменными.
Формула, принимающая значение И при всех значениях пропозициональных переменных называется тавтологией (или общезначимой), а формула, принимающая значение Л при всех
значениях пропозициональных переменных называется противоречием (или невыполнимой).
Пример 5.30. После обсуждения состава участников предполагаемой экспедиции было решено, что должны выполняться два условия:
а) если поедет Арбузов, то должны поехать еще Брюквин или Вишневский;
б) если поедут Арбузов и Вишневский, то поедет и Брюквин.
Требуется установить, кто из перечисленных сотрудников войдет в состав экспедиции.
Решение. Назначение в экспедицию Арбузова, Брюквина и Вишневского будем обозначать буквами А, Б, В соответственно.
Тогда условие а)
можно записать в виде
,
а условие б) в виде
.
Так как оба условия должны выполняться одновременно, то они должны быть соединены логической связью «и». Поэтому принятое решение можно записать в виде формулы
эта
формула должна быть истинной.
Подвергнем формулу L равносильным преобразованиям, получим:
Применяя к последнему выражению второй закон дистрибутивности, получим
Отсюда следует, что если поедет в экспедицию Арбузов, то с ним должен ехать и Брюквин.
Пример 5.31. Жили четыре друга. Звали их Альберт, Карл, Дитрих и Фридрих. Фамилии друзей те же, что и имена, только так, что ни у кого из них имя и фамилия не были одинаковыми, кроме того, фамилия Дитриха не Альберт. Определите фамилию и имя каждого мальчика, если дано, что
имя мальчика, у которого фамилия Фридрих, есть фамилия того мальчика, имя которого фамилия Карла.
Решение. Будем обозначать имя и фамилию каждого мальчика двумя буквами в виде Ху, где «X» - первая буква имени, а «у» - первая буква фамилии. Из условия задачи следует, что нет мальчиков, соответствующих символам Аа, Дд, Кк, Фф, Да, то есть высказывания Аа=Дд=Кк=Фф=Да=0.
Но есть мальчик Ху такой, что есть мальчики Уф, Кх. Следовательно, истинной является формула Кх Ху Уф=1.
Но Х≠К, так как Кк=0; Х≠Ф, так как иначе будет два мальчика с фамилией Ф. Аналогично, У≠К, У≠Ф. Следовательно, или X=Д, или Х=А. Но X≠Д, так как при Х=Д, У=А и, значит, Ху=Да, что противоречит условию. Значит, Х=А, а У=Д. Поэтому истинной является формула Ка Ад Дф Фк. Следовательно, мальчики с именами Карл, Альберт, Дитрих и Фридрих имеют фамилии соответственно Альберт, Дитрих, Фридрих и Карл.
Пример 5.32.
Докажем, что
–
тавтология.
