Сумматор по модулю пять, страница 10

Z

Y

ПМФ

ОДНФ

Z1

123

111

1

v

v

1

v

v

v

110

*

v

v

v

v

110

*

v

v

v

v

110

*

v

v

v

v

101

*

v

101

*

v

101

*

v

100

*

v

100

*

v

100

*

v

011

*

v

v

011

*

v

v

010

*

v

010

*

v

010

*

v

001

*

001

*

001

*

000

*

110

0

v

1

v

v

101

0

v

100

*

v

100

*

v

011

1

v

v

1

010

*

v

v

010

*

v

v

010

0

v

v

001

*

001

*

000

*

000

*

000

*

100

*

1

010

1

1

1

001

0

000

*

000

*

000

*

Для функции :

Первый цикл формирования ПМФ

1)

2) Несущественные переменные отсутствуют

3)

4)

12) jmin=1

13) Сформируем ПМФ  и

13.1. Для:

M0() = {2}

M1() = {3; 12}

P() = {3, 12}

13.2. W() = {13, 36; 123, 235};

13.3. Так как W() ≠ Ø, то переходим к формированию ПМФ

13.4. Формируем P():

M0() = M1() ={3; 12}

M1() = W() = {13, 36; 123, 235}

P() = {13, 36, 235}

13.5. принимаем e = 2

13.6. () = Ø

15) e = e + 1 = 3

13.6. () = Ø

15) e = e + 1 = 4

Поскольку единичное характеристическое подмножество функции  не содержит наборов с числом неинверсных переменных j>4, процесс формирования ПМФ  и  окончен. В результате получены следующие первичные ДНФ ПМФ:

P() = {3, 12},  P() = {13, 36, 235}

14) Сокращаем единичное характеристическое подмножество M1():

M1() = {2356}

15) Поскольку  M1() ≠ Ø, необходим еще один цикл декомпозиции

16)

Второй цикл формирования ПМФ

2) Несущественные переменные отсутствуют

3)

4)

12)  jmin=4

13) Сформируем ПМФ  и

13.1. Для:

M0() = {2; 13, 36; 123, 235}

M1() = {2356}

P() = {2356}