Проектирование устройства суммирования по модулю семь, страница 14

{125,126,256,156,234,235,345,245,236,356}

M0()={356,256,245,236,235,125,2346,1356,1345,1246,1245},

Сравнение сформированных элементарных конъюнкций с наборами подмножества M0() показывает, что все они реализуют наборы указанного подмножества. Таким образом, R()= Ø, и оптимизация ПМФ  невозможна, сформированная первичная ДНФ оптимальна.

18.    α = α – 1=1.

19.    Оптимизируем ПМФ  и

20.     Сформируем новое характеристическое подмножество , отметив наборы 1256, 2345, 2356 как неопределенные, остальные остаются без изменений.

17. Проведем оптимизацию ПМФ  и

1.  Сформируем вторым способом множество простых импликант f21:

{124,126,246,146,134,135,345,145,35,56,36,23,26,2,5}

Сравним полученные элементарные конъюнкции с наборами подмножества M1()={1346, 124,134,136,145,146,346, 12,15,23,24, 26,35,36,45,56}, нереализованными остаются наборы 135, 345, 126, 246, при дальнейшем их разложении на простые импликанты, получающиеся импликанты реализуют наборы указанного подмножества. Определим оптимальное покрытие по таблице покрытия:

1246

1345

356

236

25

135

˅

345

˅

126

˅

246

˅

В результате P(f21) = {25,236,356,135,126}

4.  Сформируем новое характеристическое подмножество , отметив все наборы 3 и 4 уровней, соответствующие нулевым значениям функции Ỹ2 , как неопределенные.

Далее, сформируем множество простых импликант R() ПМФ  вторым способом {13,14,34,16,46,3,6,2,5}, и, сравнив их с М0()={13,14,16,25,34,46,1,3,4,6}, видно, что все они покрывают наборы указанного подмножества и, следовательно, не могут быть включены в множество простых импликант.

Оптимизация ПМФ невозможна, первичная ДНФ оптимальна.

18.  α = α – 1=0.

19. Оптимизация завершена.

Получено представление ФАЛ Ỹ2:

         Ỹ2=

6.3 Формирование ПМФ Ỹ3

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

1.     α=1.

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

3.     K1=1.

7.     D1=0.

11. Подмножества M1(Ỹ3), M0(Ỹ3) в декомпозиционной таблице разбиты       на подмножества по числу j неинверсных переменных в наборах и упорядочены в порядке убывания j.

12.  jmin=1.

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

1. M0()={2,3,5,6,56, 36,35,26,23,14} ,                                                                             M1()={1,4,46,45,34,25,24,16,15,13,12}

Включаем в первичную ДНФ ПМФ  элементарные конъюнкции 1 и 4. Далее, исключив из M12(Ỹ3) все наборы, реализуемые 1 и 4, получим M12(Ỹ3)={25 }. P()={1,4,25}.

2. Формируем подмножество W()={1256,1346,1356,2345,2346,124,125,134,145,146,245,14}

3. Поскольку W()≠Ø формируем ПМФ .

4. Формируем первичную ДНФ P() ПМФ :

M0()={1,4,46,45,34,25,24,16,15,13,12}

M1()={1256,1346,1356,2345,2346,124,125,134,145,146,245,14}. Включаем в первичную ДНФ ПМФ  элементарную конъюнкцию 14. Далее, исключив из M12(), M13(), M14() все наборы, реализуемые импликантой 14, получим     M12()= Ø, M13()={125,245),

M14() ={2346,2345,1356,1256}. Конъюнкции неинверсных переменных всех наборов M13() включаем в первичную ДНФ ПМФ. Потом исключаем из  M13(), M14() все наборы, реализуемые импликантами {125,245}. P ()={14,125,245}.

5. Принимаем e=2.

    6. Формируем множество  Q12(Ỹ3)={356,236}.

    7. Поскольку Q12(Ỹ3) ≠Ø , переходим к расширению первичной ДНФ ПМФ

8. .

    9. W()=2346, 1356.

10. Поскольку W() ≠Ø, необходима корректировка ПМФ

11. M1()= 2346, 1356.

    12. Корректировка первичной ДНФ ПМФ

               P() = {14,125,245,2346,1356}

13. Корректируем первичную ДНФ ПМФ  : P()={1,4,25,356,236},

Процесс формирования ПМФ  и  окончен, т. к. единичное характеристическое подмножество Ỹ3 не содержит наборов с числом неинверсных переменных j>4.

14. Сократим M1(Ỹ3),исключив наборы, реализованные композицией сформированных ПМФ: M1(Ỹ3)={1245, 1246,1345}

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

16.  α=2, переходим к очередному циклу декомпозиции