- •Рабочая тетрадь
- •Раздел 1 Множества
- •Раздел 2 Формулы логики
- •Тема 2.1 Высказывания
- •Тема 2.2 Законы логики
- •Тема 2.3 Применение логических формул
- •Совершенная конъюнктивная нормальная форма (скнф).
- •Совершенная дизъюнктивная нормальная форма (сднф).
- •Решение логических задач
- •Раздел 3 Булевы функции
- •Тема 3.1 Функции алгебры логики
- •Пример. Какую функцию реализует формула:
- •Тема 3.2 Многочлен Жегалкина
- •Тема 3.3 Булевы уравнения и их системы Булевы уравнения
- •Сведение к одному уравнению:
- •Построение таблиц истинности
- •3. Декомпозиция
- •Система булевых уравнений
- •Раздел 4 Предикаты
- •Тема 4.1 Предикаты
- •Раздел 5 Элементы теории автоматов
- •Тема 5.2 Машина Тьюринга
Совершенная дизъюнктивная нормальная форма (сднф).
Алгоритм построения:
Пример. Для функции построить СДНФ.
Составление таблицы истинности, для этого расставим действия:
Построение таблицы истинности
х
у
1
2
3
4
5
6
7
8
9
10
11
Составление СДНФ: ________________________________
Задание. Для данных функций построить совершенную дизъюнктивную нормальную форму:
1.
х |
у |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Составление СДНФ: ________________________________
х |
у |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Составление СДНФ: ________________________________
х |
у |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Составление СДНФ: ________________________________
a |
b |
c |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Составление СДНФ: ________________________________
a |
b |
c |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Составление СДНФ: ________________________________
