формула, логически эквивалентная данной формуле и имеющая вид дизъюнкции элементарных конъюнкций; напр., одна из дизъюнктивных нормальных форм импликации A → (B ∨ C) имеет вид ¬A ∨ (A &B) ∨ (A & C)
Особая роль в алгебре логики отведена классам дизъюнктивной и конъюнктивной совершенным нормальным формам...
Известны следующие формы нормального типа:
Тип конъюнктивной нормальной формы (КНФ)....
Тип дизъюнктивной нормальной формы (ДНФ)....
СДНФ, то есть, совершенная дизъюнктивная нормальная форма формулы, является способом написания функции...
Представление таблично заданных функций в форме СКНФ
Конъюнктивной нормальной формой (КНФ) является нормальная
Современные системы поддержки принятия решений являются инструментом, призванным оказать помощь лицам, принимающим решения. В 2007 спроектирована ИС «Экспертная Система Поддержки Принятия Решений» (ЭСППР). Узким местом при создании ЭСППР является пополнение базы знаний новыми методами принятия решений [1]. В данном исследовании предпринята попытка использовать бинарную алгебру для решения задач принятия решений. Автором разработан и описан переход от задачи принятия решений к задаче распознавания.
нормальной форме и совершенной конъюнктивной нормальной форме....
Логическая функция в совершенной дизъюнктивной нормальной форме представляет собой дизъюнкцию вспомогательных...
Форма записи логической функции в виде совершенной конъюнктивной нормальной форме представляет собой...
формы....
Логические функции в минимальной конъюнктивной форме или минимальной дизъюнктивной форме используется
Рассмотрена задача минимизации булевых функций в классе дизъюнктивных нормальных форм. Приведено описание метода, использующего разложение в виде декомпозиционного дерева, для поиска простых импликант. По импликант-ной матрице строится система ограничений и составляется задача линейного программирования. Предложено использовать разбиение системы ограничений в случае большого количества переменных.
преобразование плоскости (пространства), переводящее каждую точку P в такую точку P′, лежащую на луче OP , что OP̅ · OP̅′ = c, где O — фиксированная точка (центр, или полюс инверсии) и c ≠ 0 — постоянная (коэффициент, или степень инверсии)
соприкасающийся круг
процесс составления или вычисления суммы
