- •Введение.
- •Тема 1. Логические высказывания и предикаты.
- •1. Понятие высказывания. Логические операции над высказываниями.
- •Основные логические связки.
- •2. Формулы и их логические возможности.
- •3. Свойства логических операций (законы логики).
- •4. Понятие предиката. Операции над предикатами.
- •5. Кванторы.
- •Практическая работа по теме 1.
- •Задания для самостоятельной работы по теме 1.
- •Контрольные вопросы по теме 1.
- •Тема 2. Множества. Отношения. Отображения.
- •1.Основные понятия
- •2. Операции над множествами
- •3. Геометрическое моделирование множеств. Диаграммы Венна
- •4. Соотношение между множествами и составными высказываниями
- •5. Алгебра множеств. Основные тождества алгебры множеств
- •Основные тождества алгебры множеств
- •6. Эквивалентность множеств
- •Практическая работа по теме 2.
- •Задания для самостоятельной работы по теме 2.
- •Контрольные вопросы по теме 2.
- •Тема 3. Отношения. Функции.
- •1. Основные понятия и определения
- •2. Бинарные отношения и их свойства.
- •Свойства бинарных отношений.
- •3. Отношение эквивалентности.
- •4. Функции. Основные понятия и определения
- •Практическая работа по теме 3.
- •Задания для самостоятельной работы по теме 3.
- •Контрольные вопросы по теме 3
- •Тема 4. Булевы функции.
- •1. Определение булевой функции
- •2. Существенные и фиктивные переменные.
- •Критерий несущественности переменной.
- •3. Формулы логики булевых функций
- •4. Эквивалентность булевых формул.
- •5. Равносильные преобразования формул
- •Основные равносильности булевых формул.
- •6. Двойственность. Принцип двойственности.
- •7. Нормальные формы.
- •8. Полные системы булевых функций
- •9. Полином Жегалкина
- •10. Замкнутые классы функций.
- •11. Функциональная полнота.
- •Практическая работа по теме 4.
- •Задания для самостоятельной работы по теме 4.
- •Контрольные вопросы по теме 4.
- •Тема 5. Основные понятия теории графов.
- •1. Основные понятия теории графов.
- •Маршруты, циклы в неориентированном графе
- •Пути, контуры в ориентированном графе
- •2. Планарность и изоморфизм графов
- •3. Способы задания графов
- •Основные свойства матриц смежности и инцидентности
- •4. Связность графа
- •5. Алгоритм обхода вершин графа.
- •6. Нагруженные графы
- •Свойства минимальных путей в нагруженном ориентированном графе
- •7. Деревья
- •8. Основные типы практических задач.
- •1. «Задача коммивояжера» и «Задача о минимальной сети дорог»
- •2. Построение турнирной таблицы
- •3. «Задача о четырех красках»
- •Практическая работа по теме 5.
- •Задания для самостоятельной работы по теме 5.
- •Контрольные вопросы к теме 5.
- •Задания контрольной работы
- •Список источников литературы Основная литература
- •Дополнительная литература
Задания для самостоятельной работы по теме 4.
Задание 1. Используя таблицы истинности, проверить эквивалентность булевых формул. Определить существенные и фиктивные переменные.
.
.
.
.
.
.
.
.
.
Задание 2. Для данной формулы булевой функции
а) найти СДНФ, СКНФ методом равносильных преобразований;
б) найти СДНФ, СКНФ табличным способом (сравнить с п. “а”);
в) составить полином Жегалкина;
г) составить переключательную схему.
1. ((x
y)→
2.( 3. (x →(z(y x))) 4.( 5.(
6.
(xy)
→ (( 7. (y →x) (x → z) 8. (x ) → (( z) y) 9. ( ) → (xz) 10.
( 11.x →(y → (z →yz)) 12. ((y ) →(x )) →y 13.
( 14. (x →(x(y x))) 15. ( |
16. ( ) → (xz) 17. xy → ( z → (xy)) 18. (y →x) ( → z) 19. (x → z) → (x z) 20. ( 22. y →(x y) 23.
( 24. x
→(x(y( 25.
( 26. ( ) → ( ) 27. ( ) → (xz) 28. x →(z →(x yz)) 29. x(y →(z y)) 30. ( |
Задание 3. Для булевой функции, заданной вектором значений, определить: 1) СДНФ, 2) СКНФ, 3) полином Жегалкина.
1. (10110011). |
4. (00110011). |
7. (10100011). |
2. (00100111). |
5. (00110001). |
8. (11100001). |
3. (10101011). |
6. (01100011). |
9. (11100011). |
10. (11101011).
Задание 4. Определить, является ли заданная булева функция самодвойственной, монотонной, линейной.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Задание 4. Выяснить, является ли система функций A функционально полной.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Контрольные вопросы по теме 4.
1. Выберите правильный вариант ответа 1 – 4 для следующих вопросов:
а) Сколько существует различных булевых функций n переменных? б) Сколько существует различных наборов переменных для булевой функции n переменных?
Варианты ответа: 1) 2n; 2) 2*2
;
3) n2; 4) n!.
2. Какое из следующих утверждений верно:
а) Переменные булевой функции и сама булева функция принимают значения 0 или 1;
б) Переменные булевой функции принимают значения 0 или 1, а значения самой булевой функции совпадают с множеством действительных чисел;
в) Значения переменных булевой функции совпадают с множеством действительных чисел, а сама булева функция принимает значения 0 или 1;
г) Значения переменных булевой функции и значения самой функции совпадают с множеством действительных чисел;
3. Выберите правильный вариант ответа 1 – 4 для следующих вопросов:
а) Сколько может быть различных ДНФ у булевой функции?
б) Сколько может быть различных СДНФ у булевой функции?
в) Сколько может быть различных КНФ у булевой функции?
г) Сколько может быть различных СКНФ у булевой функции?
Варианты ответа:
1 – ноль или одна; 2 – ноль или бесконечно много; 3 – ноль или одна; 4 – одна; 5 – одна или бесконечно много.
4. В какой из нормальных форм (ДНФ, СДНФ, КНФ, СКНФ) находится данная формула булевой функции трех переменных f(x, y, z):
а) xy z; б) x y z; в) (xy) (x ); г) xyz; д) y z y ; е) x ; ж) x z.
