Получаем:
A4 = { xxxx11; xx1x1x }
Z3 = { x001x0; x111x0; 100xxx; 111xxx; 1xx0x }
B4 = { xxx011; 0xxx11; x0xx11; xx0x11; xx101x; 0x1x1x; x01x1x; xx1x10; xx1x11; x1xx11; x11x1x; 1xxx1x; xxx11x; 1xxxx1 }
C4 = { xxxx11; xx1x1x; 1xxx1x; xxx11x; 1xxxx1 }
|
C4*C4 |
xx10xx |
xx1x1x |
|
xxxx11 |
- |
|
|
xx1x1x |
xx1x11 |
- |
|
1xxx1x |
1xxx11 |
1x1x1x |
|
xxx11x |
xxx111 |
xx111x |
|
1xxxx1 |
1xxx11 |
1x1x11 |
|
A5 |
Ø |
Ø |
В результате: так как |с5|1, то поиск простых импликант закончен
Множество простых импликант: Z = { x001x0; x111x0; 100xxx; 111xxx; 1xx0xx; xxxx11; xx1x1x; 1xxx1x; xxx11x; 1xxxx1 }
Этап поиска простых импликант:
На этом этапе необходимо проверить нет ли среди кубов таких, которые стали L-экстремалями за счет безразличных. Для этого из кубов множества L вычитаются остатки простых импликант, выполняем операцию решетчатого вычитания - из каждой простой импликанты поочередно вычитаются все прочие простые импликанты Z#(Z\z)
|
z#(Z-z)
|
000011 |
000100 |
001010 |
001011 |
010011 |
011010 |
011011 |
011100 |
100100 |
111100 |
|
000100 |
Ø |
000100 |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
|
011100 |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
011100 |
Ø |
Ø |
|
110000 |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
|
110000 |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
|
101000 |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
|
101000 |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
|
0x0011 |
000011 |
Ø |
Ø |
Ø |
010011 |
Ø |
Ø |
Ø |
Ø |
Ø |
|
010011 |
Ø |
Ø |
Ø |
Ø |
010011 |
Ø |
Ø |
Ø |
Ø |
Ø |
|
010011 |
Ø |
Ø |
Ø |
Ø |
010011 |
Ø |
Ø |
Ø |
Ø |
Ø |
|
001010 |
Ø |
Ø |
001010 |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
|
0x1010 |
Ø |
Ø |
001010 |
Ø |
Ø |
011010 |
Ø |
Ø |
Ø |
Ø |
|
001010 |
Ø |
Ø |
001010 |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
|
010110 |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
|
110101 |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
|
101101 |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Ø |
Множество L-экстремалей E = { x001x0; x111x0; xxxx11; xx1x1x }
Z´ = Z - E = { 100xxx; 111xxx; 1xx0xx; 1xxx1x; xxx11x; 1xxxx1 }