Курсовая работа: Синтез и анализ логической схемы при кубическом задании булевой функции
Ci = ( Ci-1 – Mi ) È em i .
4. Если Сi состоит из одного куба или получаются пустые m-кубы, процесс факторизации следует закончить, в противном случае перейти к пункту 1.
Процесс факторизации по данному алгоритму удобно отражать в таблицах. Первый цикл представлен в табл. 9.
Первый цикл факторизации Таблица 9
|
e1 1X1XX11 |
e2 XX1X1X0 |
e3 00X0XX0 |
e4 0X00101 |
e5 X0X00X0 |
e6 XX1111X | ||
| e1 | 1X1XX11 | - | |||||
| e2 | XX1X1X0 | mm1mmmm | - | ||||
| e3 | 00X0XX0 | Æ | mmmmmm0 | - | |||
| e4 | 0X00101 | mmmmmm1 | mmmm1mm | 0mm0mmm | - | ||
| e5 | X0X00X0 | Æ | mmmmmm1 | m0m0mm0 | mmm0mmm | - | |
| e6 | XX1111X | mm1mm1m | mm1m1mm | Æ | mmmm1mm | Æ | - |
| e7 | 101XX1X | 1m1mm1m | mm1mmmm | m0mmmmm | Æ | m0mmmmm | mm1mm1m |
Из этой таблицы видно, что еm 1 = 1m1mm1m.. Покрытие после первого цикла выглядит следующим образом:
Так как С1 содержит больше одного куба, осуществляется переход ко второму циклу ( табл. 10 ).
Второй цикл факторизации Таблица 10
|
е2 XX1X1X0 |
е3 00X0XX0 |
е4 0X00101 |
е5 X0X00X0 |
е6 XX1111X | ||
| е2 | XX1X1X0 | - | ||||
| е3 | 00X0XX0 | mmmmmm0 | - | |||
| е4 | 0X00101 | mmmm1mm | 0mm0mmm | - | ||
| е5 | X0X00X0 | mmmmmm0 | m0m0mm0 | mmm0mmm | - | |
| е6 | XX1111X | mm1m1mm | Æ | mmmm1mm | Æ | - |
| еm 1 | 1m1mm1m | mm1mmmm | Æ | Æ | Æ | mm1mm1m |
Очевидно, что еm 2 = m0m0mm0.