Навчальний конспект із математичної логіки на тему «Кон'юнктивна та диз'юнктивна нормальні форми (КНФ і ДНФ)» призначений для учнів профільних класів, студентів математичних спеціальностей та викладачів.
Матеріал містить:
основні означення кон'юнктивної та диз'юнктивної нормальних форм;
поняття літерала, кон'юнкта та диз'юнкта;
способи побудови КНФ і ДНФ;
таблиці істинності з позначеннями T (істина) і F (хибність);
основні закони алгебри висловлень;
приклади рівносильних перетворень логічних формул;
покроковий приклад побудови КНФ за таблицею істинності;
завдання для самостійного опрацювання та домашньої роботи.
Конспект можна використовувати під час пояснення нового матеріалу, проведення практичних занять, організації самостійної роботи та підготовки до контрольних робіт із математичної логіки.
