Умножитель по модулю 9. Оптимизация, страница 2

Рассмотрим элементарные конъюнкции третьего ранга:

Конъюнкция

Покрываемый набор из

Количество покрываемых импликант

Множество импликант

1

134

1234

*

-

2

146

1246

*

-

3

346

2346

*

-

Получаем .

2.  Оптимизация

Так как функция содержит элементарные конъюнкции только пятого ранга, ее оптимизация возможна за счет элементарных конъюнкций четвертого и меньших рангов. Рассмотрим конъюнкции четвертого ранга:

Конъюнкция

Покрываемый набор из

Количество покрываемых импликант

Множество импликант

1

1234

12345

*

-

2

1236

-

1

+

3

1245

12345

*

-

4

1246

12456

*

-

5

1256

12456

*

-

6

1345

12345

*

-

7

1346

-

0

+

8

1456

12456

*

-

9

2345

12345

*

-

10

2356

-

2

+

11

3456

-

1

+

Рассмотрим элементарные конъюнкции третьего ранга:

Конъюнкция

Покрываемый набор из

Количество покрываемых импликант

Множество импликант

1

123

1235

*

-

2

126

12456

*

-

3

134

12345

*

-

4

136

1356

*

-

5

146

12456

*

-

6

235

1235

*

-

7

236

2346

*

-

8

256

2456

*

-

9

345

12345

*

-

10

346

2346

*

-

11

356

1356

*

-

12

456

2456

*

-

Построим таблицу покрытия:

1

2

3

5

6

2

3

4

5

6

1236

2356

3456

Получаем .

3.  Оптимизация

Так как функция содержит элементарные конъюнкции только четвертого ранга, то ее оптимизация возможна за счет элементарных конъюнкций третьего и меньшего ранга. Рассмотрим конъюнкции третьего ранга:

Конъюнкция

Покрываемый набор из

Количество покрываемых импликант

Множество импликант

1

124

1234

*

-

2

126

1246

*

-

3

136

-

1

+

4

145

1245

*

-

5

235

2345

*

-

6

256

1256

*

-

7

345

1345

*

-

8

346

-

1

+

Рассмотрим элементарные конъюнкции второго ранга:

Конъюнкция

Покрываемый набор из

Количество покрываемых импликант

Множество импликант

1

13

13

*

-

2

16

146

*

-

3

34

134

*

-

4

36

36

*

-

5

46

46

*

-

Построим таблицу покрытия:

1

2

3

5

1

3

5

6

2

3

4

6

2

4

5

6

136

346