2.Аналитическое построение сокращенной днф

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

Для построения СокрДНФ обычно используется задание функции в виде СДНФ или произвольной ДНФ. Наиболее универсальным методом перехода к СокрДНФ является выполнение над исходной ДНФ преобразований вида:

а) A  AB = A – поглощение, где A и B – элементарные конъюнкции;

б) x A B = x A B  AB – склеивание;

или x A A = A – полное склеивание;

или x A A = x A A  A – неполное склеивание.

При этом вначале следует выполнить всевозможные попарные склеивания входящих в ДНФ элементарных конъюнкций, а затем поглощения. Далее, если это возможно, преобразования применяют повторно. При этом сложность полученной СокрДНФ может оказаться больше сложности исходной ДНФ.

Примеры:

1) Пусть функция трех переменных f(x, y, z) задана в виде СДНФ:

f(x, y, z) =

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

Тогда f(x, y, z) =

 x y = 

Теперь выполняя всевозможные поглощения, получим:

f(x, y, z) = .

Последняя формула является СокрДНФ.

2) Теперь рассмотрим функцию трех переменных f(x, y, z), заданную формулой вида ДНФ: f(x, y, z) =

При склеивании первой и второй конъюнкции получим 0, склеивание всех остальных пар добавит к исходной ДНФ дополнительные конъюнкции и тогда: f(x, y, z) = _.

Выполняя поглощение, получим: f(x, y, z) =

Теперь, применяя ещё раз склеивание и поглощение, переходим к следующей формуле:

f(x, y, z) = x . И, поскольку преобразования больше невозможны, последняя формула является СокрДНФ.

3.Геометрическое представление функций алгебры логики

При решении задачи минимизации булевых функций часто используют алгоритмы, основанные на геометрическом представлении функций алгебры логики. Пусть Eⁿ – обозначает множество всех вершин n – мерного единичного куба. Каждой булевой функции f(x₁, x₂,…, x_n) взаимно-однозначно соответствует подмножество N_f  Eⁿ таких вершин  Eⁿ , что f()=1, где =(₁, ₂,…,_n) и _i  {0, 1}.

Пример:

Таблица 2

x	y	z	f(x,y,z)
0	0	0	0
0	0	1	1
0	1	0	1
0	1	1	1
1	0	0	1
1	0	1	1
1	1	0	1
1	1	1	0

П усть функция трех переменных f(x, y, z) задана таблицей 24.

Изобразим трёхмерный единичный куб и отметим на нем те вершины, на которых функция принимает единичные значения. Множество единичных вершин составляет: N_f ={(0,0,1),(0,1,0),(0,1,1),(1,0,0),(1,0,1),(1,1,0)}

Очевидно, что для каждой функции множество N_f определяется однозначно. И по заданному множеству N_f функция f восстанавливается единственным образом.

Пусть K_i = x_i1^s1 & x_i2^s2 &…& x_ir^sr – элементарная конъюнкция ранга r, тогда множество N_ki Í Eⁿ, составленное из таких вершин a=(s₁,…,s_r, a_r+1,…,a_n), что K_i(a)=1, называется интервалом ранга r или (n-r)–мерной гранью единичного куба Eⁿ.

Пример:

Рассмотрим E³– трехмерный единичный куб.

а) K =. Тогда N_К = {(0,0,0)} – интервал 3-го ранга или 0-мерная грань (вершина куба);

б) K =. Тогда N_К = {(0,0,0),(1,0,0)} – интервал 2-го ранга или одномерная грань (ребро трехмерного единичного куба);

в) K =. Тогда N_К = {(0,0,0),(0,0,1),(0,1,0),(0,1,1)} – интервал 1-го ранга или двумерная грань (сторона трехмерного единичного куба);

Очевидно, что для каждого интервала N_К всегда можно написать соответствующую конъюнкцию K, причем единственным образом.

Говорят, что система интервалов {N_К1, N_К2,…, N_Кm} образует покрытие множества N Í Eⁿ, если N = N_К1 N_К2… N_Кm. Так как равенства f = K₁ Ú K₂ Ú…Ú K_m и N_f = N_К1 N_К2… N_Кm эквивалентны, то задача минимизации булевой функции f равносильна отысканию покрытий, сумма рангов интервалов которых минимальна. Такие покрытия называются минимальными.

Пример:

Для функции, заданной таблицей 24, составим следующие покрытия:

а) N_f = {(0,0,1)}  {(0,1,0)}  {(0,1,1)}  {(1,0,0)}  {(1,0,1)}  {(1,1,0)} – из интервалов 3-го ранга. Ранг покрытия составляет 3·6=18. Этому покрытию соответствует СДНФ данной функции:

б) N_f = {(0,0,1),(0,1,1)}  {(0,1,0),(0,1,1)}  {(0,1,0),(1,1,0)}    {(1,1,0),(1,0,0)}  {(1,0,0),(1,0,1)}  {(1,0,1),(0,0,1)} – из интервалов второго ранга. Ранг этого покрытия равен 2·6=12. ДНФ, соответствующая этому покрытию, равна . Как нетрудно заметить, для записи конъюнкции по интервалу используются не изменяющиеся на этом интервале координаты.

в) N_f = {(0,1,0),(0,1,1)}{(0,0,1),(0,1,1)}{(1,0,0),(1,0,1)}{(1,1,0),(1,0,0)} – из интервалов второго ранга. Ранг покрытия равен 2·4=8. Соответствующая ДНФ: .

г) N_f = {(0,0,1),(0,1,1)}{(0,1,0),(1,1,0)}{(1,0,0),(1,0,1)} – из интервалов 2‑го ранга. Ранг покрытия равен 2·3=6. И соответствующая ДНФ равна .

Интервал N_К называется максимальным для функции f, если N_К  N_f и не существует интервала N_К1 такого, что N_К  N_К1 N_f. Конъюнкция K, соответствующая максимальному интервалу N_К функции f, называется простой импликантой для f. Удаление любого множителя из простой импликанты приводит к конъюнкции K¹ такой, что интервал N_К1 не содержится в покрытии N_f.

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

Для функции f(x,y,z) из предыдущего примера максимальными будут все интервалы 2–го ранга (ребра куба), т.к. ни в одно покрытие N_f не входят интервалы 1–го ранга (грани куба), которые могли бы содержать в себе какие–нибудь из этих ребер. Понятно также, что ни один из интервалов 3–го ранга (вершины куба) не будет максимальным для этой функции, т.к. для любого из них можно указать интервал 2–го ранга (ребро) из N_f, включающий в себя данную вершину. Поэтому покрытие, приведенное в пункте б, является сокращенным, а соответствующая ему ДНФ – является СокрДНФ.

Тупиковым ДНФ соответствуют так называемые неприводимые покрытия, которые получаются из сокращенного покрытия путем удаления некоторых максимальных интервалов. При этом никакое собственное подмножество интервалов из неприводимого покрытия уже не будет являться покрытием для функции f.