-
1 нормальная конъюнктивная форма
Dictionnaire russe-français universel > нормальная конъюнктивная форма
-
2 совершенная конъюнктивная форма
Dictionnaire russe-français universel > совершенная конъюнктивная форма
См. также в других словарях:
элементарная конъюнктивная форма — elementarioji konjunkcinė forma statusas T sritis automatika atitikmenys: angl. minterm vok. Vollkonjunktion, f rus. элементарная конъюнктивная форма, f pranc. conjonction totale, f … Automatikos terminų žodynas
конъюнктивная нормальная форма — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN conjunctive normal formCNF … Справочник технического переводчика
конъюнктивная нормальная форма (КНФ) — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN standard product of sums … Справочник технического переводчика
Конъюнктивная нормальная форма — (КНФ) в булевой логике нормальная форма, в которой булева формула имеет вид конъюнкции дизъюнкций литералов. Конъюнктивная нормальная форма удобна для автоматического доказательства теорем. Любая булева формула может быть приведена к… … Википедия
КОНЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА — пропозициональная формула, имеющая вид (*) где каждое С ij, i=1, . . ., п;j=1, . . ., mi, есть либо переменная, либо отрицание переменной. К. н. ф. (*) является тавтологией тогда и только тогда, когда для любого iсреди С i1, . . ., Cimi.… … Математическая энциклопедия
Дизъюнктивная нормальная форма — (ДНФ) в булевой логике нормальная форма, в которой булева формула имеет вид дизъюнкции конъюнкций литералов. Любая булева формула может быть приведена к ДНФ.[1] Для этого можно использовать закон двойного отрицания, закон де Моргана, закон… … Википедия
K-конъюнктивная нормальная форма — (k КНФ) в булевой логике нормальная форма, в которой булева формула имеет вид конъюнкции нескольких дизъюнктов, каждый из которых содержит ровно k литералов. Например, следующая формула записана в 2 КНФ … Википедия
Нормальная форма (математика) — У этого термина существуют и другие значения, см. Нормальная форма (значения). Нормальная форма в математике простейший либо канонический вид, к которому объект приводится эквивалентными преобразованиями[1]. Содержание 1 Жорданова… … Википедия
Нормальная форма (значения) — Нормальная форма: Нормальная форма в базах данных свойство отношения в реляционной модели данных. Нормальная форма в математике в каком либо смысле простейший либо канонический вид, к которому объект приводится преобразованиями,… … Википедия
СОВЕРШЕННАЯ НОРМАЛЬНАЯ ФОРМА — совершенная дизъюнктивная или совершенная конъюнктивная нормальная форма (см. Булевых функций нормальные формы) … Математическая энциклопедия
Vollkonjunktion — elementarioji konjunkcinė forma statusas T sritis automatika atitikmenys: angl. minterm vok. Vollkonjunktion, f rus. элементарная конъюнктивная форма, f pranc. conjonction totale, f … Automatikos terminų žodynas