Разработка сумматора-умножителя (Пояснительная записка), страница 4

C3*C3

x1xx1

x1x1x

xx11x

x1xx1

--------

x1x1x

--------

xx11x

--------

Конечное множество простых импликант Z = { 101x0; 011xx; x1xx1; x1x1x; xx11x }

  Поиск L-экстремалей.

                                      Таблица 24. Поиск L-экстремалей.

Z#(Z\z)

101x0

011xx

x1xx1

x1x1x

xx11x

101x0

yyzz1

011xx

0y0zy

x1xx1

0y0z1

x1x1x

01zz1

0x11x

x111x

xx111

011xx

yyzzz

101x0

1z0zz

11xx1

x10x1

1z0zz

11x1x

x101x

z0zzz

0011x

1zzzz

1111x

10zzz

1x111

x0111

x1xx1

zyzzy

101x0

zzzz0

011x0

zzzz0

11x10

zzzz0

x1010

zyzz0

0011x

zzzz0

11110

z0zzz

10111

zyzzz

x0111

x1x1x

zyz0z

101x0

zzz0z

01100

zzz0z

11x01

zzz0z

x1001

zyzzz

0011x

zzzzz

Ø

zyzzz

10111

zyzzz

x0111

xx11x

zzz0z

10100

zzzyz

01100

zz0yz

11x01

zzyyz

x1001

zz0zz

11010

zzyzz

x1010

                                        Таблица 25. Удаление лишних L-экстремалей

L&^E

01001

01010

01011

01100

01101

10100

11001

11010

11011

11101

10100

Ø

Ø

Ø

Ø

Ø

10100

Ø

Ø

Ø

Ø

01100

Ø

Ø

Ø

01100

Ø

Ø

Ø

Ø

Ø

Ø

11x01

Ø

Ø

Ø

Ø

Ø

Ø

11001

Ø

Ø

11101

x1001

01001

Ø

Ø

Ø

Ø

Ø

11001

Ø

Ø

Ø

11010

Ø

Ø

Ø

Ø

Ø

Ø

Ø

11010

Ø

Ø

x1010

Ø

01010

Ø

Ø

Ø

Ø

Ø

11010

Ø

Ø

0011x

Ø

Ø

Ø

Ø

Ø

Ø

Ø

Ø

Ø

Ø

10111

Ø

Ø

Ø

Ø

Ø

Ø

Ø

Ø

Ø

Ø

x0111

Ø

Ø

Ø

Ø

Ø

Ø

Ø

Ø

Ø

Ø

                                                                       Таблица 26.  Поиск непокрытых исходных кубов

L#E

01001

01010

01011

01100

01101

10100

11001

11010

11011

11101

101x0

yyyzy

01001

yyyzz

01010

yyyzy

01011

yyzzz

01100

yyzzy

01101

zzzzz

Ø

zyyzy

11001

zyyzz

11010

zyyzy

11011

zyzzy

11101

011xx

zzyzz

01001

zzyzz

01010

zzyzz

01011

zzzzz

Ø

zzzzz

Ø

yzyzz

11001

yzyzz

11010

yzyzz

11011

yzzzz

11101

x1xx1

zzzzz

Ø

zzzzy

01010

zzzzz

Ø

zzzzz

Ø

zzzzy

11010

zzzzz

Ø

zzzzz

Ø

x1x1x

zzzzz

Ø

zzzzz

Ø

zzzzz

Ø

Минимальное покрытие - множество L-экстремалей E = { 101x0; 011xx