Cтраница 1
Дизъюнктивная нормальная форма состоит из суммы членов, каждый из к-рых представляет собой произведение перем. [1]
Последняя дизъюнктивная нормальная форма содержит на шесть вхождений аргументов меньше, чем исходная. [2]
Формулы, тождественно равные единице. [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]