ДНФ и КНФ
ДНФ и КНФ
Дизъюнктивная нормальная форма (ДНФ): дизъюнкция конъюнкций — (A∧B∧¬C)∨(¬A∧C)∨(B∧C). Конъюнктивная нормальная форма (КНФ): конъюнкция дизъюнкций — (A∨B∨¬C)∧(¬A∨C)∧(B∨C). Любая булева функция выразима в обеих формах. Преобразование: таблица истинности → СДНФ (строки с 1) / СКНФ (строки с 0). ДНФ удобна для OR логики (один true минтерм → весь результат true), КНФ для AND (один false макстерм → весь результат false). Применение: SAT-солверы работают с КНФ, логический синтез схем
Загрузка карты...
Простыми словами
ДНФ и КНФ — это способ понять, как в этой сфере устроены правила, решения и реальные последствия для людей.
Более точно
ДНФ и КНФ — предметная область общественного знания, описывающая устойчивые механизмы взаимодействия участников, норм и институтов.
Зачем это нужно
Тема нужна, чтобы принимать более точные решения в контексте раздела «Нормальные формы»: видеть структуру проблемы, ограничения и рабочие инструменты.
Примеры
Практический разбор включает кейсы, сравнение сценариев и проверку результата по понятным критериям.
Частые ошибки
Чаще всего ошибаются из-за упрощения причин, игнорирования контекста и отсутствия проверяемых критериев результата.