Специальные логические операции алгоритма извлечения: *,∩ ,#.

Реализация алгоритма извлечения осуществляется на основе специальных логических операций, которые позволяют полностью формализовать процесс получения минимальной формы.

Операция умножения кубов (*).

Операцияпроизведения кубов а=а₁а₂...а_n и b=b₁b₂...b_n обозначается как с=а*b и служит для образования r-куба, противоположные (r-1) – грани которого содержатся в кубах а и b. Предварительные координаты куба c определяются в соответствии с таблицей.

*			х
		y
ai 1	у
x			х

^{î ______________}_Ú^{_________________þ}

b_i

Окончательно координаты куба формируются:

m(a₁*b₁)m(a₂*b₂) ... m(a_n*b_n,) если a_i*b_i=y только для одного i

a*b=

Æ, если a_i*b_i=y, для i ³ 2

где m(a_i*b_i) – окончательная i-я координата куба с, m(0)=0, m(1)=1, m(x)=x.

Эта операция соответствует операции склеивания: образуется новый r-куб, если кодовое расстояние двух исходных кубов равно 1. Рассмотрим некоторые примеры.

1) 011 2) 11х

*001*01х

0y1 Þ 0x1– ребро покрывает две вершины у1х Þ х1х – грань

3) 0х1 4) х1х

*1х0 *011

уху Þ Æ – две координаты имеют значение у. 011

Операция пересечения кубов (∩).

Операция пересечения кубов а=а₁а₂...а_n и b=b₁b₂...b_n обозначается как с=а∩b и служит для выделения куба с=с₁с₂...с_n , являющегося общей частью кубов а и b. Координаты с₁с₂...с_n определяются согласно таблице:

∩			x
		Æ
ai 1	Æ
x			x

^{î______________}_Ú^{_________________þ}

b_i

m(a₁∩b₁)m(a₂∩b₂) ... m(a_n∩b_n,)

a∩b=

Æ, если существует такое i, для которого a_i ∩ b_i =Æ

где m(a_i*b_i) – окончательная i-я координата куба с, m(0)=0, m(1)=1, m(x)=x.

Рассмотрим примеры.

1) _Ç100 2) _Ç1х0

00110х

10Æ Þ Æ общей части у 100 Þ 100 общая часть

кубов нет; (вершина) кубов (рёбер);

3) _Çх1х 4) _Ç0хх

0хх 0х0

01х Þ 01х общая часть – ребро; 0х0 ( совпадает с

операцией *).

Операция вычитания кубов (#).

Операция вычитания из куба а=а₁а₂...а_n куба b=b₁b₂...b_n обозначается как с=а#b и служит для удаления из куба а общей части кубов а и b.

Координаты куба с формируются согласно таблице:

#			x
	z	y	z
ai 1	y	z	z
x			z

^{î ______________}_Ú^{_________________þ}

b_i

Æ, если " i, а_i#b_i=z; z-означает, что координаты совпадают;

c=а#b= a, если $ i, а_i#b_i=y, у-означает, что координаты противоположны;

U а₁а₂...а_i-1 a_i а_i+1 ... а_n, если a_i равно 0 или 1 для одного или

ⁱ⁼¹ нескольких i.

По этим a_i-координатам производится объединение (U) кубов, получаемых в результате замены в кубе а символа х на соответствующее значение (0,1) координаты a_i. Рассмотрим примеры выполнения операции #.

1) _#х1х 2) _#х1x

x11110

zz0 Þ x10 0z1 Þ 01x

3) _#хx1 4) _#х11 x11

x10 xx1

z0y Þ xx1 zzz Þ Æ

5) _# 0ххx

хх01

zz10 Þ 0x1x

0xx0

Далее рассмотрим алгоритм извлечения (Рота) на примере минимизации булевой функции, заданной покрытием С₀.

Рис. 29. Геометрическое задание исходного покрытия.

Исходное покрытие С₀ задано объединением множеств кубов L и N. Кубы комплекса N- это наборы на которых функция не определена и включаются в покрытие ради возможного дополнительного упрощения комплекса L в процессе минимизации. Минимальное покрытие комплексов L и N, С _min – называется К- покрытием L.

Общий алгоритм построения минимального К-покрытия называется алгоритмом извлечения и состоит в следующем:

▪ нахождении множества Z простых импликант комплекса К;

▪ выделении L-экстремалей на множестве Z;

▪ применении алгоритма ветвления при отсутствии L-экстремалей;

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

1. Нахождение множества простых импликант.

Преобразование исходного покрытия С₀ комплекса К в множество простых импликант Z осуществляется с помощью операции умножения кубов.В результате первого шага (С₀*С₀) предусматривается выявление как новых кубов С_y (первой и более высокой размерности), так и кубов, которые не образуют новых кубов (включаются в множество Z₀). Из полученных новых кубов образуется множество А₁. В₁=С₀-Z₀. Для следующего шага формирования множества Z формируется множество С₁=А₁U В₁. Для уменьшения мощности множества кубов С₁ выполним операцию поглощения (удаления) кубов образующих множество С₁ кубами из множества А₁ (А₁ÍС₁). Для рассматриваемого примера получим:

Таблица 16.

00х0

1х10

00х0 000х А₁ 00х0

1х10 х110 1х10

А₁ = х110 хх01 после выполнения 000х

000х С₁= х010 Þ операцииÞС₁= х110

хх01 0х10 поглошения хх01

0000 В₁ х010

Z₀=Ø 0х01 0х10

1х01

Среди кубов С₀ возможно находятся такие кубы, которые с кубами множества А₁ могут дать новые кубы, или оказаться простыми импликантами, после второго шага (С₁*С₁). При формировании таблицы для выполнения операции С₁*С₁ следует учесть, что В₁*В₁ уже выполнялось на шаге С₀*С₀. Следовательно:

С₁*С₁=(А₁UВ₁)*(А₁UВ₁)=(А₁*А₁)U(А₁*В₁)U(В₁*А₁)U(В₁*В₁)=(А₁*А₁)U(А₁*В₁)

Таблица 17.

В результате выполнения умножения С₁*С₁ получено:

А₂={хх1х}

000х

Необходимо отметить, что куб хх01 не дал нового куба. Но это куб второй размерности и новые кубы может дать на третьем шаге (С₃*С₃). Поэтому его не следует включать в число кубов, образующих множество Z₁.

1х10 хх10

х110 1х10

х010 х010 хх01

0х10 0х10

хх01

Таблица 18.

Таким образом, получено А₃= Ø, следовательно, новых кубов нет.

хх01

В₃=С₂-Z₂= Ø; C₃=A₃UB₃= Ø.

На этом процесс выявления простых импликант окончен.

00х0

хх01

хх10

Необходимо выяснить, не содержатся ли в этом множестве “лишние” импликанты.

2. Определение L-экстремалей.

Множество Z может быть избыточным. Прежде всего необходимо выявить обязательные простые импликанты, называемые в алгоритме извлечения L-экстремалями. L-экстремаль – это куб, который и только он покрывает некоторую вершину из множества L, не покрываемую никаким другим кубом из множества Z.

Для определения L-экстремалей воспользуемся операциями вычитания (#) и пересечения (∩) кубов.

Таблица 19.

Таким образом из таблицы получено множество L-экстремалей.

1. Если результат вычисления будет Ø хотя бы в одном, любом случае, то это значит, что среди простых импликант есть такие кубы, которые покрывают уменьшаемый, а следовательно этот уменьшаемый не может быть L-экстремалью.

2. Если же полученный результат не Ø, то в противоположность предыдущему утверждению уменьшаемый куб оказался кубом большей размерности по отношению к другим простым импликантам.

3. Что касается простых импликант, ”удаленных” от уменьшаемой, то они с ней дают координаты ”y” и таким образом остается уменьшаемый куб при вычитании этих ”удаленных” кубов.

После выявления L-экстремалей следует выяснить, не являются ли некоторые из них простыми импликантами, остатки которых покрывают только некоторое подмножество кубов комплекса N, которое нет необходимости покрывать, вводя в минимальное покрытие соответствующие наборы. Для этого необходимо выполнить операцию пересечения остатков, полученных при выполнении операции z#(Z-z) с кубами из комплекса L. Во множестве E необходимо оставить только те кубы, остатки от которых пересекаются с кубами из комплекса L.

Таблица 20.

Из таблицы видно, что куб 1x01 не пересекается с кубами комплекса L. Однако куб x101 имеет с кубом 0x01 (из комплекса L) общую вершину 0101. Оба куба (1x01, x101) входят в куб более высокой размерности xx01 (L-экстремаль). Таким образом, куб 1x01, образованный на комплексе N, позволил уменьшить цену схемы. Выясним далее, какие из вершин комплекса L не покрываются L-экстрема­лями. Для этого из каждого куба комплекса L вычтем (#) элементы множества Е. В результате вычитания получим L₁=L#Е.

Таблица 21.

Из таблицы видно, что L₁={0000}. Однако непокрытые L-экстремалями кубы должны быть покрыты другими импликантами из множества.

Z=Z-E=

Теперь из полученного множества Z надо выбрать минимальное число кубов, с минимальной ценой (максимальной размерностью), чтобы покрыть непокрытые L-экстремалями элементы комплекса L. Выбор так называемого немаксимального куба осуществляется с помощью операции частичного упорядочивания кубов (<).

Куб a будет не максимален по отношению к кубу b, если выполняются одновременно два условия:

1) С^a ≥ C^b, где С^а – цена куба а:;

2) a ∩ L₁ Í b ∩ L₁, куб b покрывает не меньше кубов чем куб а.

Z

С^a = C^b

Следовательно, кубы а и b равноценны и для покрытия вершины 0000 можно выбрать любой из них в качестве экстремали второго порядка

Е¢₂={000x} или E¢¢₂={00x0}.

Следовательно, могут быть получены две тупиковые формы.

- первая тупиковая форма

- вторая тупиковая форма