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

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

Нормальная форма соединения Конъюнктивная нормальная форма (CNF) используется в логике первого порядка для упрощения сложных формул.  CNF состоит из конъюнкций, […]

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

Нормальная форма соединения

  • Конъюнктивная нормальная форма (CNF) используется в логике первого порядка для упрощения сложных формул. 
  • CNF состоит из конъюнкций, каждая из которых содержит переменные и логические операции. 
  • Преобразование логики первого порядка в CNF включает устранение последствий и эквивалентностей, перемещение «Нет» внутрь и многократное применение закона Де Моргана. 
  • После преобразования квантификаторы могут встречаться только в начальном префиксе формулы и никогда внутри логических операторов. 
  • Формула преобразуется в CNF, а затем в форму предложения, используя правила замены и функцию Skolem. 
  • Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала. 

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

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

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

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

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

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