ДИЗЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА


ДИЗЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА

- пропозициональная формула, имеющая вид

(*)

где каждое Cij(i=1, ... , n; j=1, ... , mi) есть либо переменная, либо отрицание переменной. Д. н. ф. (*) выполнима тогда и только тогда, когда при нек-ром iсреди С i1, ..., С iтi не встречаются одновременно формулы вида , где р- переменная. Для всякой пропозициональной формулы Аможно построить эквивалентную ей Д. н. ф. В, содержащую те же переменные, что и А. Такая формула Вназ. Д. н. ф. формулы А.

С. К. Соболев


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Смотреть что такое "ДИЗЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА" в других словарях:

  • дизъюнктивная нормальная форма — ДНФ — [http://www.rfcmd.ru/glossword/1.8/index.php?a=index d=23] Тематики защита информации Синонимы ДНФ EN disjunctive normal formDNF …   Справочник технического переводчика

  • Дизъюнктивная нормальная форма — (ДНФ) в булевой логике нормальная форма, в которой булева формула имеет вид дизъюнкции конъюнкций литералов. Любая булева формула может быть приведена к ДНФ.[1] Для этого можно использовать закон двойного отрицания, закон де Моргана, закон… …   Википедия

  • дизъюнктивная нормальная форма — norminė disjunkcinė forma statusas T sritis automatika atitikmenys: angl. disjunctive normal form; DNF vok. disjungtive Normalform, f rus. дизъюнктивная нормальная форма, f pranc. forme disjonctive normale, f …   Automatikos terminų žodynas

  • ТУПИКОВАЯ ДИЗЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА — представляющая заданную булеву функцию дизъюнктивная нормальная форма (д. н. ф.), к рую нельзя упростить ни вычеркиванием буквы из нек рой конъюнкции, ни удалением какой либо конъюнкции. Минимальная д. н. ф. получается из сокращенной д. н. ф.… …   Математическая энциклопедия

  • Совершенная Дизъюнктивная Нормальная Форма — …   Википедия

  • Нормальная форма (математика) — У этого термина существуют и другие значения, см. Нормальная форма (значения). Нормальная форма  в математике простейший либо канонический вид, к которому объект приводится эквивалентными преобразованиями[1]. Содержание 1 Жорданова… …   Википедия

  • Нормальная форма (значения) — Нормальная форма: Нормальная форма в базах данных  свойство отношения в реляционной модели данных. Нормальная форма в математике  в каком либо смысле простейший либо канонический вид, к которому объект приводится преобразованиями,… …   Википедия

  • Конъюнктивная нормальная форма — (КНФ) в булевой логике  нормальная форма, в которой булева формула имеет вид конъюнкции дизъюнкций литералов. Конъюнктивная нормальная форма удобна для автоматического доказательства теорем. Любая булева формула может быть приведена к… …   Википедия

  • СОКРАЩЕННАЯ НОРМАЛЬНАЯ ФОРМА — булевой функции дизъюнктивная нормальная форма (д. н. ф.), представляющая собой дизъюнкцию всех простых импликант данной функции. Конъюнкция наз. импликантой булевой функции f, если справедливо соотношение Импликанта наз. простой, если после… …   Математическая энциклопедия

  • СОВЕРШЕННАЯ НОРМАЛЬНАЯ ФОРМА — совершенная дизъюнктивная или совершенная конъюнктивная нормальная форма (см. Булевых функций нормальные формы) …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.