Граф ортогональности строк данной карты декомпозиции изображен на рис. 21.5, где вершины обозначены кодами соответствующих строк карты декомпозиции, а в скобках показана раскраска вершин графа – цвет «0» и цвет «1». Считая данные коды наборами значений аргументов х1, х2, х3 функции g, а величины в скобках – ее соответствующими значениями, получим

g(x1, x2, x3) = x2 x3 x1 x2 x2 x3.

Рис. 21.5. Граф ортогональности строк карты декомпозиции

По табл. 21.12, задающей функцию ϕ, получим ДНФ этой функции:

ϕ(g, x2, x4, x5) = g x2 x4 g x2 x4 g x4 x5 g x2 x5.

Многоблочные неразделительные декомпозиции получаются аналогично двухблочным неразделительным декомпозициям.

21.5. Декомпозиция систем булевых функций

Рассмотрим следующую задачу. Пусть задана система не полностью определенных булевых функций f1, f2, … , fm от общего множества аргументов Х = {x1, x2, … , xn}. Для заданной пары подмножеств (Z1, Z2) множества Х, такой, что X = Z1 Z2, требуется найти суперпозиции

где z1 и z1 – векторы, компонентами которых служат переменные из множеств Z1 и Z2, причем

k < |Z1 |, k + |Z2 | < n

139

ине важно, пересекаются или нет подмножества Z1 и Z2.

Ввекторной форме данную задачу сформулируем следующим образом: для системы функций y = f (x) требуется найти суперпозицию

y = ϕ(w, z2), w = g (z1),

такую, чтобы число компонент вектора w было меньше числа компонент вектора z1, а сумма чисел компонент векторов w и z2 была меньше длины вектора х. Дополнительно можно еще поставить задачу минимизации числа компонент вектора w.

Эта задача имеет приложение в синтезе логических схем из блоков, реализующих достаточно сложные системы булевых функций, с ограниченным числом внешних полюсов.

Для решения рассматриваемой задачи используется карта декомпозиции. Так же, как и для одной функции, строки ее соответствуют значениям векторной переменной z1, столбцы – значениям векторной переменной z2. На пересечении строки и столбца помещается значение вектора у (компоненты которого задают значения, которые принимают функции системы на соответствующих наборах значений аргументов). Ввиду неполной

определенности функций здесь не обязательно должно быть 2|Z1| строки и 2|Z2| столбца.

Каждую строку карты декомпозиции рассматриваем как троичный вектор, составленный из векторов значений функций.

У т в е р ж д е н и е 21.5. Система не полностью определенных булевых функций f1, f2, … , fm допускает декомпозицию в форме (21.2) тогда и только тогда, когда хроматическое число графа ортогональности строк ее карты декомпозиции для (Z1, Z2) не превышает 2k.

Если удастся раскрасить упомянутый граф в 2k цвета, то закодируем строки карты декомпозиции значениями векторной переменной

w = g (z1) = (g1(z1), g2(z1), … , gk(z1))

так, чтобы строки, соответствующие одноцветным вершинам, были закодированы одним кодом, а строки, соответствующие вершинам различных цветов, – различными кодами. Таким образом, значениям векторной переменной z1 ставятся в соответствие значения векторной переменной w, т. е. построена система функций g1(z1), g2(z1), … , gk(z1).

Карту декомпозиции, строкам которой приписаны значения переменной w, а столбцам – значения векторной переменной z2, можно рассматривать как

представление системы функций y = ϕ(w, z2).

Пусть, например, задана система слабо определенных булевых функций

у1 = f1(х), у2 = f2(х), у3 = f3(х),

140

Таблица 21.13

Карта декомпозиции системы слабо определенных булевых функций

у1 = f1 (х), у2 = f2 (х), у3 = f3 (х)

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

двухкомпонентных булевых векторов w = (w1, w2). В то же время четыре цвета оказываются достаточными – в результате находится схема, показанная на рис. 21.7.

Рис. 21.7. Схема, реализующая систему из трех функций от шести переменных

142

Табл. 21.14, полученную из табл. 21.13 совмещением неортогональных одноцветных строк, можно считать заданием системы функций y = ϕ(w, z2).

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

w = g (z1) и y = ϕ(w, z2).

Последнюю представим парой матриц:

Таблица 21.14 Задание системы булевых функций y = ϕ(w, z2)

После минимизации получим следующие ДНФ:

w1 = x1 x2 x3 x4; w2 = x1;

y1 = w2 x5 x6 w1 w2 x6;

y2 = x5 x6 w1 w2 x6 w1 w2 x5; y3 = w1 x6 w2 x5.

143