Дизъюнктивная нормальная форма - Большая Энциклопедия Нефти и Газа, статья, страница 1
Скупой платит дважды, тупой платит трижды. Лох платит всю жизнь. Законы Мерфи (еще...)

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

Cтраница 1


Дизъюнктивная нормальная форма состоит из суммы членов, каждый из к-рых представляет собой произведение перем.  [1]

Последняя дизъюнктивная нормальная форма содержит на шесть вхождений аргументов меньше, чем исходная.  [2]

3 Формулы, тождественно равные единице. [3]

Дизъюнктивная нормальная форма выражения А представляет собой дизъюнкцию элементарных конъюнкций, для которых значение Л ложно.  [4]

Найденная дизъюнктивная нормальная форма является, как легко видеть, минимальной для функции / при любых возможных расшифровках безразличных значений, обозначенных черточками.  [5]

Дизъюнктивной нормальной формой ( ДНФ) логической формулы называется эквивалентная ей формула, представленная в виде дизъюнкции литер. Например, формула - A J В имеет вид дизъюнктивной нормальной формы, так как является дизъюнкцией элементарной формулы В н отрицания элементарной формулы А.  [6]

Дизъюнктивной нормальной формой называется дизъюнкция любого конечного множества попарно различных элементарных произведений. Конъюнктивной нормальной формой называется произведение любого конечного множества попарно различных элементарных дизъюнкций.  [7]

Дизъюнктивной нормальной формой ( ДНФ) называют любую дизъюнкцию конечного числа элементарных конъюнкций.  [8]

Метод непрерывных дизъюнктивных нормальных форм () [34 ], разработанный В. О. Кра-савчиковым, предназначен для обработки таблиц, столбцы которых представлены значениями количественных признаков, принадлежащих отрезку [0, 1 ] или являющихся целыми положительными числами.  [9]

Восстанавливаем дизъюнктивную нормальную форму ( если она была нарушена), тогда каждый член ее будет конъюнкцией неравенств и сравнений.  [10]

В дизъюнктивной нормальной форме, образованной этим множеством, выполним приведение подобных членов.  [11]

Так получается дизъюнктивная нормальная форма ( ДНФ), описывающая запретную область в пространстве признаков. Будем считать, что ДНФ обладает рангом, равным максимальному рангу входящих в нее конъюнкций.  [12]

После получения дизъюнктивной нормальной формы g, содержащей все свои простые импликанты, ее нетрудно освободить от всех членов, не являющихся простыми импликантами. Подобное исключение называют обычно операцией элементарного поглощения.  [13]

Затем восстанавливаем дизъюнктивную нормальную форму. Каждый член этой формы будет содержать х не более чем в трех конъюнктивных членах, а именно, не более чем в одном сравнении вида х ( mod / я) ( q - цифра) и не более чем в одном неравенстве каждого из видов а x - jPH - t и х / - - - И Ь, причем если входят оба, то член х - jp t оба раза один и тот же.  [14]

Пусть FI - полная дизъюнктивная нормальная форма формулы FQ и f - формула, полученная присоединением к F кван-торного префикса формулы F.  [15]



Страницы:      1    2    3    4