Cтраница 1
Совершенная дизъюнктивная нормальная форма ( СДНФ) является тривиальным представлением булевой функции в виде ОДНФ. [1]
Совершенной дизъюнктивной нормальной формой ( СДНФ) называется дизъюнкция конечного числа конституент единицы. [2]
Совершенной дизъюнктивной нормальной формой формулы алгебры высказываний ( СДНФ) называется ДНФ, в которой: 1) все слагаемые содержат сомножителем все переменные - без отрицания либо с отрицанием, но не вместе. [3]
Чтобы получить совершенную дизъюнктивную нормальную форму, в которой каждое произведение должно содержать каждую из переменных или ее дополнение до 1, умножим оба члена. [4]
ДНФ называется совершенной дизъюнктивной нормальной формой ( С ДНФ), если ранг каждого из ее членов будет равен т - числу независимых переменных. [5]
Поскольку в виде совершенной дизъюнктивной нормальной формы может быть представлена любая булева функция ( теорема 5.4), то из предложений 5.7, 5.8 и 5.10 вытекает справедливость следующего результата. [6]
Чтобы выявить члены совершенной дизъюнктивной нормальной формы, каждый из которых содержит четыре переменных. [7]
Это представление является аналогом совершенной дизъюнктивной нормальной формы. Если функций / реализуется нек-рой формулой, содержащей лишь символы функций из данного класса 91, то говорят, что / выразима через фувлсции класса ЭД. [8]
Ясно, что получившаяся в результате совершенная дизъюнктивная нормальная форма эквивалентна исходной формуле, поскольку на каждом из описанных выше шагов мы пользовались эквивалентными преобразованиями. [9]
Следует подчеркнуть, что введение в совершенную дизъюнктивную нормальную форму некоторых безразличных конституент может способствовать, как это будет показано в следующей главе, более полной минимизации этой формы. [10]
Для того чтобы указанная сумма произведений представляла совершенную дизъюнктивную нормальную форму, необходимо, кроме того, чтобы 1) она не содержала двух одинаковых слагаемых, 2) ни в одном слагаемом суммы множители не повторялись и 3) ни в одном слагаемом суммы не встречались одновременно, переменная и ее дополнение. [11]
Прежде чем упрощать функцию, записанную в совершенной дизъюнктивной нормальной форме, представляют каждый член функции цифрой 1, вписываемой в квадрат, соответствующий рассматриваемому члену. Потом производят группировку членов путем соответствующего объединения отмеченных таким образом квадратов. Правила, которым необходимо следовать, чтобы осуществить объединение, о котором идет речь, варьируют согласно структуре диаграммы, следовательно, также согласно числу переменных. Мы рассмотрим диаграмму для четырех переменных фиг. [12]
Любая булева функция имеет одну и только одну совершенную дизъюнктивную нормальную форму, а также одну и только одну совершенную конъюнктивную нормальную форму. [13]
Определим характеристическое уравнение 5-триггера, представив (5.6) в совершенной дизъюнктивной нормальной форме ( СДНФ) и минимизировав последнюю с помощью наиболее простого и наглядного метода для функций небольшого числа переменных ( 6) - метода карт Карно. Если функция на некоторых наборах имеет неопределенное значение 0, то ее доопределяют. [14]
Рт, эквивалентна некоторой формуле F ( называемой совершенной дизъюнктивной Нормальной формой формулы Е), имеющей один из следующих двух видов. [15]