Дизъюнктивная нормальная форма

От / / Оставьте комментарий

Дизъюнктивная нормальная форма DNF (дизъюнктивная нормальная форма) — представление формулы в виде дизъюнкции конъюнкций.  Формула может быть представлена одним и […]

Knowledge compilation, Normal forms (logic), Компиляция знаний, Нормальные формы (логика)

Дизъюнктивная нормальная форма

  • DNF (дизъюнктивная нормальная форма) — представление формулы в виде дизъюнкции конъюнкций. 
  • Формула может быть представлена одним и только одним полным DNF. 
  • Теорема о дизъюнктивной нормальной форме утверждает, что все непротиворечивые формулы могут быть преобразованы в DNF. 
  • Максимальное количество союзов в DNF зависит от количества переменных и составляет 2^n. 
  • Задача булевой выполнимости для формул DNF является NP-полной. 
  • Формула DNF выполнима тогда и только тогда, когда выполнимо одно из ее соединений. 

Полный текст статьи:

Дизъюнктивная нормальная форма — Википедия, бесплатная энциклопедия

Похожие статьи:

  1. Сколемская нормальная форма Скольем нормальной формы Формула логики первого порядка находится в нормальной форме Сколема, если она в нормальной...
  2. Нормальная форма Фробениуса Нормальная форма Фробениуса Определение и свойства нормальной формы Фробениуса Нормальная форма Фробениуса — это форма матрицы,...
  3. Нормальная форма Смита Нормальная форма Смита Нормальная форма Смита — это нормальная форма матрицы, которая может быть определена для...
  4. Удовлетворенность Выполнимость Выполнимость формулы в логике связана с ее истинностью при определенных значениях переменных.  Двойственным понятием выполнимости...
  5. Нормальная форма Джордана Нормальная форма Джордана Нормальная форма Жордана — верхняя треугольная матрица, представляющая линейный оператор в векторном пространстве. ...
  6. Нормальная форма отрицания Нормальная форма отрицания Формула имеет нормальную форму отрицания (NNF) в математической логике, если оператор отрицания применяется...
  7. Полная булева алгебра Полная булева алгебра Определение и свойства булевых алгебр Булева алгебра — это алгебра с двумя операциями:...
  8. Проблема логической выполнимости Проблема логической выполнимости Проблема логической выполнимости (SAT) — определение, существует ли интерпретация, удовлетворяющая данной логической формуле. ...
  9. Нормальная форма Фробениуса Нормальная форма Фробениуса Нормальная форма Фробениуса — каноническая форма для матриц, полученных путем сопряжения обратимыми матрицами...
  10. Бета-нормальная форма Бета-нормальная форма В лямбда-исчислении термин имеет бета-нормальную форму, если невозможно бета-сокращение.  Термин имеет бета-эта нормальную форму,...
  11. Нормальная форма Хауэлла Нормальная форма Хауэлла Нормальная форма Хауэлла — обобщение формы эшелонирования строк матрицы над ZN.  Интервалы строк...
  12. Каноническая нормальная форма Каноническая нормальная форма В булевой алгебре логические функции могут быть выражены в канонической дизъюнктивной нормальной форме...
  13. Конъюнктивная нормальная форма Нормальная форма соединения Конъюнктивная нормальная форма (CNF) используется в логике первого порядка для упрощения сложных формул. ...
  14. Нормальная форма пренекса Нормальная форма Prenex Формула исчисления предикатов в нормальной форме prenex (PNF) полезна для автоматизированного доказательства теорем. ...
  15. Нормальная форма Гессена Нормальная форма Гессе Нормальная форма Гессе — уравнение, описывающее прямую или плоскость в евклидовом пространстве.  Используется...
  16. Алгебраическая нормальная форма Алгебраическая нормальная форма В булевой алгебре ANF, RSNF, NNF, Жегалкина и Рида-Мюллера — способы записи логических...
  17. Обычная форма отшельника Нормальная форма Эрмита Нормальная форма Эрмита — аналог приведенной эшелонированной формы для матриц над целыми числами. ...
  18. Порядковая арифметика Порядковая арифметика Основы теории порядков Порядки — это математические объекты, которые упорядочивают множество чисел.  Порядки могут...
  19. Нормальная форма (динамические системы) Нормальная форма (динамические системы) Нормальная форма динамической системы — упрощенная форма, полезная для определения поведения системы. ...

Оставьте комментарий

Прокрутить вверх