Довідка

Кон’юнктивні нормальні форми. Досконалі кон’юнктивні нормальні форми. Подання логічних функцій у ДКНФ.

Дізнаємось

Що таке КНФ: подання логічної функції у вигляді кон’юнкції (І) диз’юнктів (АБО).
Які функції можна представити у КНФ (будь-яка логічна функція).
Відмінність між КНФ і ДКНФ (досконала кон’юнктивна нормальна форма враховує всі можливі макстерми).
Як перетворювати логічні функції з довільного вигляду у КНФ.
Використання логічних законів (асоціативності, дистрибутивності, де Моргана) для приведення функції до КНФ.
Як побудувати ДКНФ із таблиці істинності, враховуючи всі рядки, де функція має значення 0.

Навчимось

Перетворювати функції у КНФ і ДКНФ.
Працювати з таблицями істинності.
Спрощувати логічні формули у КНФ.
Використовувати КНФ у задачах.
Розв’язувати задачі SAT (виконуваність формули).

Матеріали

Доступно тільки для зареєстрованих користувачів

Проблемні питання

Доступно тільки для зареєстрованих користувачів

Д.з.

Доступно тільки для зареєстрованих користувачів

№	Тема
5 лекції
1	Поняття про системи числення. Основні означення. Позиційні та непозиційні системи числення.
2	Дії над числами в системах числення з різними основами. Основні означення. Операції додавання, віднімання та множення в двійковій, вісімковій та шіснадцятковій системі числення.
3	Поняття про алгебру висловлень. Основні логічні операції над висловленнями.
4	Поняття набору логічної функції. Таблиця істинності. Поняття про логічну функцію та її аргументи. Основні формули булевої алгебри.
5	Основні означення. Квантор загальності. Квантор існування. Рівносильність формул.
6	Множини, основні поняття. Способи подання множин. Підмножини. Операції над множинами.
7	Множини, основні поняття. Способи подання множин. Підмножини. Операції над множинами.
8	Основні поняття теорії графів. Способи задання графів. Неорієнтовані та орієнтовані графи, види графів. Операції над графами. Ступінь вершини.
9	Ейлерові графи. Гамільтонові графи. Приклади графів Ізоморфізм графів. Планарність. Плоский граф.
10	Поняття відношення. Бінарні відношення. Способи подання відношень.
11	Диз’юнктивні нормальні форми. Досконалі диз’юнктивні нормальні форми. Основні поняття та теореми.
12	Кон’юнктивні нормальні форми. Досконалі кон’юнктивні нормальні форми. Основні поняття та теореми.
5 практичні заняття
1	Переведення цілих чисел з однієї системи числення в іншу.
2	Дії над числами в системах числення з різними основами.
3	Логічні операції над висловленнями. Побудова висловлень у символьній формі.
4	Побудова таблиць істинності для логічних функцій n аргументів.
5	Числення висловлень. Залік з модуля 1.
6	Операції над множинами. Закони і тотожності алгебри множин.
7	Комп’ютерне подання множин. Розв’язування задач.
8	Операції над графами. Зображення графів.
9	Задання графа за допомогою матриці інцидентності, матриці суміжності та списку ребер. Комп’ютерне задання графів. Залік з модуля 2.
10	Види відношень. Операції над відношеннями.
11	Диз’юнктивні нормальні форми. Досконалі диз’юнктивні нормальні форми. Подання логічних функцій у ДДНФ.
12	Кон’юнктивні нормальні форми. Досконалі кон’юнктивні нормальні форми. Подання логічних функцій у ДКНФ.

Загальнонаціональна хвилина мовчання за загиблими внаслідок збройної агресії рф проти України

60