Конъюнктивная нормальная форма.

Определение: Формула называется элементарной дизъюнкцией, если она является дизъюнкцией переменных (простых высказываний) и их отрицаний..

Пример: Эти формулы- элементарные дизъюнкции.

. Каждая из этих формул не является элементарной дизъюнкцией.

Определение: Конъюнктивной нормальной формой (КНФ) формулы А называется равносильная ей формула, представляющая собой конъюнкцию элементарных дизъюнкций.

Для любой формулы путем равносильных преобразований можно получить ее КНФ и не одну.

Примеры:

1.

2. Для этой же формулы составим ДНФ:

4. Содержание

   • Лекция 2
   • Лекция 3
   • Лекция 4
   • Лекция 5
   • Лекция 13
   • Лекция 14
   • Лекция 16
   • Основные понятия
   • Понятие множества. Способы задания множеств.
   • Понятие множества. Способы задания множеств.
   • Отношения между множествами.
   • 3, Операции над множествами.
   • Алгебра множеств.
   • Теорема о количестве подмножеств конечного множества.
   • Формула включений и исключений.
   • Лекция 2
   • 1.Понятие вектора. Прямое произведение множеств.
   • 2.Теорема о количестве элементов прямого произведения.
   • Понятие вектора. Прямое произведение множеств.
   • Теорема о количестве элементов прямого произведения.
   • Лекция 3
   • 2. Понятие высказывания.
   • 3. Логические операции над высказываниями
   • 4.Формулы алгебры логики.
   • Лекция 4
   • 2. Важнейшие равносильности алгебры логики.
   • 3.Равносильные преобразования формул.
   • Задачи для самостоятельного решения
   • Лекция 5
   • Дизъюнктивная нормальная форма.
   • Конъюнктивная нормальная форма.
   • Проблема разрешимости.
   • Лекция 6
   • Функции алгебры логики.
   • 3. Представление произвольной функции алгебры логики в виде формулы алгебры логики.
   • 4.Приложения алгебры логики в технике (релейно-контактные схемы).
   • Контрольные вопросы
   • Лекция 7
   • Совершенная дизъюнктивная нормальная форма.
   • Совершенная конъюнктивная нормальная форма.
   • Совершенная дизъюнктивная нормальная форма.
   • 2.Совершенная конъюнктивная нормальная форма.
   • Лекция 8
   • 2.Понятие минимальной днф. Метод минимизирующих карт.
   • 3.Метод Квайна.
   • 4.Метод Карно.
   • 5.Постановка задачи минимизации в геометрической форме.
   • 6.Сокращенная днф.
   • 7.Тупиковая днф. Днф Квайна.
   • Лекция 9
   • Некоторые логические операции. Двоичное сложение.
   • Полином Жегалкина.
   • Некоторые логические операции. Двоичное сложение.
   • Полином Жегалкина.
   • Лекция 10
   • Полная система . Достаточное условие полноты.
   • Критерий полноты системы булевых функций.
   • Независимые системы. Базис замкнутого класса.
   • Полная система. Достаточное условие полноты.
   • Критерий полноты системы булевых функций.
   • 3. Независимые системы. Базис замкнутого класса.
   • Лекция 11
   • Понятие предиката.
   • Логические операции над предикатами.
   • 1. Понятие предиката
   • 2. Логические операции над предикатами
   • Лекция 12
   • 2. Формулы логики предикатов.
   • Значение формулы логики предикатов.
   • 4. Равносильные формулы логики предикатов.
   • Лекция 13
   • Построение противоположных утверждений.
   • 3. Прямая, обратная и противоположная теоремы.
   • 4. Необходимые и достаточные условия.
   • 5. Доказательство методом от противного.
   • Задачи для самостоятельного решения
   • Лекция 14
   • 2. Использование метода математической индукции для нахождения сумм конечного числа слагаемых
   • 3. Использование метода математической индукции для доказательства неравенств и делимости выражений, зависящих от n на некоторое число
   • 4. Обобщение метода математической индукции
   • Контрольные вопросы
   • Лекция 15
   • Операции над бинарными отношениями.
   • 3. Свойства бинарных отношений.
   • 4. Специальные бинарные отношения.
   • Контрольные вопросы
   • Лекция 16
   • Функция
   • 1. 4. Отображение
   • Обратная функция
   • 2. Свойства отображений и функций
   • 3.Операции над функциями. Свойства операций
   • Контрольные вопросы
   • Лекция 17
   • Основные понятия .
   • 2. Смежность, инцидентность, степени вершин.
   • 3. Способы задания графов
   • Маршруты в неориентированном графе
   • Операции над графами.
   • Связность. Компоненты связности
   • Контрольные вопросы
   • Лекция 18
   • 2. Метрические характеристики неориентированного графа
   • Минимальные маршруты в нагруженных графах
   • Задачи на деревьях
   • Цикловой ранг графа. Цикломатическое число
   • Контрольные вопросы
   • Лекция 19
   • Эйлеровы цепи и циклы
   • Гамильтоновы циклы и цепи
   • Эйлеровы цепи и циклы
   • Гамильтоновы циклы и цепи.
   • Контрольные вопросы
   • Лекция 20
   • Двудольный граф. Условие существования двудольного графа
   • Паросочетания . Реберные покрытия
   • Двудольный граф. Условие существования двудольного графа
   • Паросочетания. Реберные покрытия
   • Контрольные вопросы
   • Лекция 21
   • Основные определения
   • Алгоритм плоской укладки графа
   • Контрольные вопросы
   • Лекция 22
   • Способы задания ориентированного графа
   • Путь в ориентированном графе
   • 4. Связность. Компоненты связности в орграфе
   • Контрольные вопросы
   • Лекция 23
   • 2. Минимальные пути в нагруженных орграфах
   • 3. Порядковая функция орграфа без контуров
   • Контрольные вопросы