Построение совершенных нормальных форм

Для записи функции, заданной таблицей истинности, в виде формулы вводится параметризация, позволяющая охарактеризовать значение переменной в «энке». Пусть Построение совершенных нормальных форм - student2.ru , где s – параметр, равный нулю или единице, и характеризующий значение переменной х на наборе. Таким образом, Построение совершенных нормальных форм - student2.ru . Т.е. если на наборе значение переменной х равно 0, то пишут « Построение совершенных нормальных форм - student2.ru », а в случае, когда соответствующее значение равно 1, то записывают просто «х». Заметим, что хs=1 тогда и только тогда, когда х=s.

Выражение вида Построение совершенных нормальных форм - student2.ru называется совершенной дизъюнктивной нормальной формой (СДНФ). Из этого определения следует, что для построения СДНФ в таблице истинности функции f надо рассматривать лишь те строки, где функция равна единице. Для каждой такой строки записывается элементарная конъюнкция, состоящая из всех переменных функции. При этом переменная входит в конъюнкцию с отрицанием, если в рассматриваемой строке её значение равно нулю, и без отрицания – в противном случае.

Выражение вида Построение совершенных нормальных форм - student2.ru называется совершенной конъюнктивной нормальной формой (СКНФ). Из этого определения следует, что для построения СКНФ в таблице истинности функции f надо рассматривать лишь те строки, где функция равна нулю. Для каждой такой строки записывается элементарная дизъюнкция, состоящая из всех переменных функции. При этом переменная входит в дизъюнкцию с отрицанием, если в рассматриваемой строке её значение равно единице, и без отрицания – в противном случае.

Для каждой функции алгебры логики СДНФ и СКНФ записывается единственным образом.

Примеры построения СДНФ и СКНФ.

x у f(x,у) СДНФ СКНФ
Построение совершенных нормальных форм - student2.ru  
Построение совершенных нормальных форм - student2.ru  
  Построение совершенных нормальных форм - student2.ru
x & y  
Таблица 6      

В таблице 6 в столбце СДНФ показаны элементарные конъюнкции в единичных строках функции, а в столбце СКНФ – элементарная дизъюнкция в строке, где функция равна нулю. Тем самым, СДНФ= Построение совершенных нормальных форм - student2.ru Ú Построение совершенных нормальных форм - student2.ru Ú x & y, СКНФ = Построение совершенных нормальных форм - student2.ru . Эти формулы эквивалентны между собой и эквивалентны формуле (х®у).

x у f(x,у) СДНФ СКНФ
Построение совершенных нормальных форм - student2.ru  
  Построение совершенных нормальных форм - student2.ru
  Построение совершенных нормальных форм - student2.ru
x & y  
Таблица 7      

В таблице 7 в столбце СДНФ показаны элементарные конъюнкции в единичных строках функции, а столбце СКНФ – элементарные дизъюнкции в нулевых строках. Тем самым, СДНФ= Построение совершенных нормальных форм - student2.ru Ú x & y, СКНФ = ( Построение совершенных нормальных форм - student2.ru )&( Построение совершенных нормальных форм - student2.ru ). Эти формулы эквивалентны между собой и эквивалентны формуле (хºу).

Если функция задана формулой, то для построения её СДНФ или СКНФ применяют эквивалентные преобразования заданной формулы.

Пусть функция представлена формулой со связками {Ø, &, Ú}. Тогда для преобразования формулы в совершенную дизъюнктивную нормальную форму необходимо вначале представить формулу в виде Построение совершенных нормальных форм - student2.ru – логической суммы логических произведений. Этого можно добиться с помощью законов дистрибутивности или других тождеств. Затем добавить к каждой элементарной конъюнкции (каждому логическому произведению переменных) единичные множители, составленные по закону исключенного третьего из символов тех переменных, которых недостает в данной конъюнкции до полного набора переменных, и далее выполнить преобразования, раскрывая скобки и приводя «подобные члены» по закону идемпотентности.

Например, f(x,y,z)= Построение совершенных нормальных форм - student2.ru . Первое слагаемое в формуле преобразуем по закону Де Моргана, во втором слагаемом раскроем скобки с помощью закона дистрибутивности и поменяем местами сомножители, используя закон коммутативности. Тогда f(x,y,z)= Построение совершенных нормальных форм - student2.ru – это выражение имеет требуемую форму: логическая сумма логических произведений переменных или их отрицаний, такая форма называется также дизъюнктивной нормальной формой (ДНФ). Теперь к каждой элементарной конъюнкции в ДНФ добавим единичный множитель: к первой – Построение совершенных нормальных форм - student2.ru , ко второй – Построение совершенных нормальных форм - student2.ru и к третьей Построение совершенных нормальных форм - student2.ru . Получим:

f(x,y,z)= Построение совершенных нормальных форм - student2.ru =

= Построение совершенных нормальных форм - student2.ru . Теперь приведем «подобные члены»: Построение совершенных нормальных форм - student2.ru . Полученное выражение и есть СДНФ данной функции.

Для представления функции в виде совершенной конъюнктивной нормальной формы необходимо вначале представить её в виде произвольной конъюнктивной нормальной формы (КНФ) – это выражение вида Построение совершенных нормальных форм - student2.ru (логическое произведение логических сумм переменных или их отрицаний, или конъюнкция элементарных дизъюнкций). Этого можно добиться с помощью приведенных выше законов. Затем в каждую элементарную дизъюнкцию добавить нулевые слагаемые, составленные по закону противоречия из недостающих ей до полного набора переменных. Далее выполнить преобразования, применяя законы дистрибутивности, коммутативности и идемпотентности.

Например, Построение совершенных нормальных форм - student2.ru . Приведем к виду КНФ:

f(x,y,z)= Построение совершенных нормальных форм - student2.ru . В этом выражении 4 элементарных дизъюнкции, причем в первой из них не хватает до полного набора переменных y и z, во второй – переменной z, в третьей – х и в четвертой – у. Добавим их в виде нулевых слагаемых, пользуясь законом противоречия. Тогда f(x,y,z)= Построение совершенных нормальных форм - student2.ru =

= Построение совершенных нормальных форм - student2.ru

Построение совершенных нормальных форм - student2.ru . Теперь воспользуемся законами идемпотентности и коммутативности и получим СКНФ(f(x,y,z))=

= Построение совершенных нормальных форм - student2.ru

Построение совершенных нормальных форм - student2.ru

Выражение вида Построение совершенных нормальных форм - student2.ru , где s £ n и суммирование выполняется по модулю 2 и проводится по всевозможным подмножествам номеров переменных, называется полиномом Жегалкина или совершенной полиномиальной нормальной формой (СПНФ). Здесь Построение совершенных нормальных форм - student2.ru – коэффициент, равный нулю или единице, и стоящий перед произведением переменных с номерами: i1, i2,…, is. Важно, что представление в виде СПНФ для каждой функции алгебры логики единственно.

Примеры:

1) Построим полином Жегалкина для элементарной функции f(x,y) = х Ú у. Сначала запишем его в общем виде: f(x,y) = Построение совершенных нормальных форм - student2.ru . Где a, b, c и d – неопределенные коэффициенты, значения которых будут найдены путем подстановки различных комбинаций значений переменных х и у в выражение общего вида. Итак, f(0,0) = 0 = Построение совершенных нормальных форм - student2.ru . Отсюда d=0.

f(0,1) = 1 = Построение совершенных нормальных форм - student2.ru . Отсюда с=1.

f(1,0) = 1 = Построение совершенных нормальных форм - student2.ru . Отсюда b=1.

f(1,1) = 1 = Построение совершенных нормальных форм - student2.ru . Отсюда a=1.

Тем самым, при подстановке найденных значений коэффициентов в выражение общего вида, получим: (х Ú у) = Построение совершенных нормальных форм - student2.ru .

2) Построим полином Жегалкина для элементарной функции f(x,y) = х º у. Запишем выражение общего вида: f(x,y) = Построение совершенных нормальных форм - student2.ru и найдем коэффициенты: f(0,0) = 1 = Построение совершенных нормальных форм - student2.ru . Отсюда d=1.

f(0,1) = 0 = Построение совершенных нормальных форм - student2.ru . Отсюда с=1.

f(1,0) = 0 = Построение совершенных нормальных форм - student2.ru . Отсюда b=1.

f(1,1) = 1 = Построение совершенных нормальных форм - student2.ru . Отсюда a=0.

И полином Жегалкина: (х º у) = х Å у Å 1

Рассмотренный в примерах способ построения полинома Жегалкина представляет собой так называемый метод неопределенных коэффициентов.

Ввиду важности полиномиального разложения функций алгебры логики укажем и на другие способы получения этого разложения.

Если функция задана формулой со связками {Ø,&,Ú}, то для перехода к полиному Жегалкина необходимо воспользоваться тождествами: Построение совершенных нормальных форм - student2.ru , х&у = х·у, (х Ú у) = Построение совершенных нормальных форм - student2.ru .

Например, пусть f(x,y,z) = Построение совершенных нормальных форм - student2.ru .

Тогда f(x,y,z) = ((xÅ1)·(yÅ1) Ú y)Ú (z Å1) = = ((xÅ1)·(yÅ1)·y Å (xÅ1)·(yÅ1) Å y) Ú (z Å1) =

=((xÅ1)·(yÅ1)·y Å (xÅ1)·(yÅ1) Å y)·(z Å1) Å ((xÅ1)·(yÅ1)·y Å (xÅ1)·(yÅ1) Å y)Å (z Å1) =((х·уÅxÅyÅ1)·y Å х·уÅxÅyÅ1Åy)·(z Å1) Å (х·уÅxÅyÅ1)·y Å х·уÅxÅyÅ1Åy Å zÅ1 = (воспользуемся тем, что х·х=х и xÅх=0) = (х·уÅxÅ1)·(z Å1) Å х·у Å x Å z = х·у·z Å х·z Å z Å х·у Å x Å 1Å х·у Å x Å z == х·у·z Å х·z Å 1

Если функция задана таблицей, то для получения её полинома Жегалкина вначале следует записать СДНФ, затем в полученном выражении заменить все конъюнкции умножением, дизъюнкции – сложением по модулю два, а отрицания – сложением с единицей. Далее раскрыть скобки и применить тождества х·х=х и xÅх=0.

Например, пусть столбец значений функции f(x,y,z) в таблице истинности равен (1, 1, 1, 1, 1, 0, 1, 1). Запишем совершенную дизъюнктивную нормальную форму для этой функции: СДНФ(f(x,y,z)) = Построение совершенных нормальных форм - student2.ru . Теперь выполним указанные выше замены:

f(x,y,z)=(хÅ1)(уÅ1)(zÅ1) Å (xÅ1)(yÅ1)z Å (xÅ1)y(zÅ1) Å (xÅ1)yz Å x(yÅ1)(zÅ1) Å xy(zÅ1) Å xyz, и раскроем скобки: (xyz Å xy Å xz Å yz Å x Å y Å z Å1) Å (xyz Å xz Å yz Å z)Å(xyz Å xy Å yz Åy)Å (xyz Å yz) Å (xyz Å xy Å xz Å x) Å (xyz Å xy) Å xyz = х·у·z Å х·z Å 1

Наши рекомендации