Множество C1: x1101; 1x101; 1110x; 0x101; x0101; 0101x; 01x11; x1011; 0110x; x1100; 011x1; 100x1; 10x01; 1001x; 10x10; 10x11; 1x011; 1010x; 101x0; 1x100; 101x1; 1011x.
| C1*A1 | x1101 | 1x101 | 1110x | 0x101 | x0101 | 0101x | 01x11 | x1011 | 0110x | x1100 | 011x1 | 100x1 | 10x01 | 1001x | 10x10 | 10x11 | x011 | 1010x | 101x0 | 1x100 | 101x1 |
| x1101 | |||||||||||||||||||||
| 1x101 | 11101 | ||||||||||||||||||||
| 1110x | 11101 | 11101 | |||||||||||||||||||
| 0x101 | 01101 | xx101 | x1101 | ||||||||||||||||||
| x0101 | xx101 | 10101 | 1x101 | 00101 | |||||||||||||||||
| 0101x | 01yy1 | y1yy1 | y1yyx | 01yy1 | 0yyy1 | ||||||||||||||||
| 01x11 | 011x1 | y11y1 | y11y1 | 011x1 | 0y1y1 | 01011 | |||||||||||||||
| x1011 | x1yy1 | 11yy1 | 11yy1 | 01yy1 | xyyy1 | 01011 | 01011 | ||||||||||||||
| 0110x | 01101 | x1101 | x110x | 01101 | 0x101 | 01yyx | 011x1 | 01yy1 | |||||||||||||
| x1100 | x110x | 1110x | 11100 | 0110x | xy10y | 01yy0 | 011yy | x1yyy | 01100 | ||||||||||||
| 011x1 | 01101 | x1101 | x1101 | 01101 | 0x101 | 01x11 | 01111 | 01x11 | 01101 | 0110x | |||||||||||
| 100x1 | 1yy01 | 10x01 | 1yy01 | y0y01 | 10x01 | yy011 | yy011 | 1x011 | yyy01 | 1yy0y | yyyx1 | ||||||||||
| 10x01 | 1x101 | 10101 | 1x101 | x0101 | 10101 | yy0y1 | yyxy1 | 1y0y1 | yy101 | 1y10y | yy101 | 10001 | |||||||||
| 1001x | 1yyy1 | 10yy1 | 1yyyx | y0yy1 | 10yy1 | yy01x | yy011 | 1x011 | yyyyx | 1yyy0 | yyy11 | 10011 | 100x1 | ||||||||
| 10x10 | 1y1yy | 101yy | 1y1y0 | y01yy | 101yy | yy010 | yyx1y | 1y01y | yy1y0 | 1y1y0 | yy11y | 1001x | 10xyy | 10010 | |||||||
| 10x11 | 1y1y1 | 101x1 | 1y1y1 | y01y1 | 101x1 | yy011 | yyx11 | 1x011 | yy1y1 | 1y1yy | yy111 | 10011 | 10xx1 | 10011 | 10x1x | ||||||
| 1x011 | 11yy1 | 1xyy1 | 11yy1 | yxyy1 | 10yy1 | x1011 | x1011 | 11011 | y1yy1 | 11yyy | y1y11 | 10011 | 100x1 | 10011 | 1001x | 10011 | |||||
| 1010x | 1x101 | 10101 | 1x10x | x0101 | 10101 | yyyyx | yy1y1 | 1yyy1 | yy10x | 1x100 | yy101 | 10x01 | 10101 | 10yyx | 101x0 | 101x1 | 10yy1 | ||||
| 101x0 | 1y10y | 1010x | 1x100 | y010y | 1010x | yyy10 | yy11y | 1yy1y | yy100 | 1x100 | yy1xy | 10yxy | 1010x | 10x10 | 10110 | 1011x | 10y1y | 10100 | |||
| 1x100 | 1110x | 1x10x | 11100 | yx10y | 1010x | y1yy0 | y11yy | 11yyy | x1100 | 11100 | y110y | 10y0y | 1010x | 10yy0 | 101x0 | 101yy | 1xyyy | 10100 | 10100 | ||
| 101x1 | 1x101 | 10101 | 1x101 | x0101 | 10101 | yyy11 | yy111 | 1yy11 | yy101 | 1y10y | yy1x1 | 10xx1 | 10101 | 10x11 | 1011x | 10111 | 10x11 | 10101 | 101xx | 1010x | |
| 1011x | 1y1y1 | 101x1 | 1y1yx | y01y1 | 101x1 | yyy1x | yy111 | 1yy11 | yy1yx | 1y1y0 | yy111 | 10x11 | 101x1 | 10x1x | 10110 | 10111 | 10x11 | 101xx | 10110 | 101x0 | 10111 |
Множество C2: xx101; x110x; 1x10x; 10xx1; 10x1x; 101xx.
| * | xx101 | x110x | 1x10x | 10xx1 | 10x1x |
| xx101 | |||||
| x110x | x1101 | ||||
| 1x10x | 1x101 | 1110x | |||
| 10xx1 | 10101 | 1x101 | 10101 | ||
| 10x1x | 101x1 | 1y1yx | 101xx | 10x11 | |
| 101xx | 10101 | 1x10x | 1010x | 101x1 | 1011x |
Множество С3 – пустое (склеивание не дало новых кубов более высокой размерности).
Множество простых имплекант Z: 0101x; 01x11; x1011; 011x1; 1x011; xx101; x110x; 1x10x; 10xx1; 10x1x; 101xx.
Отбросим те кубы из множества Z, которые покрываются другими.
| Z#z 0101x 01x11 x1011 011x1 1x011 xx101 x110x 1x10x 10xx1 10x1x 101xx 0101x _ 01111 11011 011x1 1x011 xx101 x110x 1x10x 10xx1 10x1x 101xx 01x11 01010 _ 11011 01101 1x011 xx101 x110x 1x10x 10xx1 10x1x 101xx x1011 01010 01111 _ 01101 10011 xx101 x110x 1x10x 10xx1 10x1x 101xx 011x1 01010 11011 _ 10011 1x101 1110x 1x10x 10xx1 10x1x 101xx x0101 x1100 1x011 01010 01101 _ 1x101 1110x 1x10x 101x1 1011x 101xx x0101 x1100 10x01 10x10 xx101 01010 10011 _ 11100 1x100 10111 1011x 1011x x1100 10001 10x10 101x0 x110x 01010 10011 10101 _ 10100 10111 1011x 1011x x0101 10001 10x10 101x0 1x10x 01010 10011 _ 10111 1011x 1011x 00101 01100 10001 10x10 10110 10xx1 01010 00101 01100 10100 _ 10110 10110 10x10 10x1x 01010 00101 01100 10100 _ 10001 101xx 01010 00101 01100 10001 _ 10010 01010 00101 01100 10001 10010 |
С помощью операции пересечения находим L-экстремали образованные на множестве N.
| Z#(Z-z)ÇL 01010 00101 01100 10001 10010 11101 O O O O O 00101 O 00101 O O O 01010 01010 O O O O 01011 O O O O O 01100 O O 01100 O O 01101 O O O O O 01111 O O O O O 10001 O O O 10001 O 10010 O O O O 10010 10011 O O O O O 10100 O O O O O 10101 O O O O O 10110 O O O O O 10111 O O O O O 11011 O O O O O 11100 O O O O O |
N={Æ}
Кубы на множестве L: 01010; 00101; 01100; 10001; 10010.
L-экстремали: 0101x; xx101; x110x; 10xx1; 10x1x.
Найдём кубы из L не покрытые L-экстремалями.
| L#E 11101 00101 01010 01011 01100 01101 01111 10001 10010 10011 10100 10101 10110 10111 11011 11100 0101x 11101 00101 01100 01101 01111 10001 10010 10011 10100 10101 10110 10111 11011 11100 xx101 01100 01111 10001 10010 10011 10100 10110 10111 11011 11100 x110x 01111 10001 10010 10011 10100 10110 10111 11011 10xx1 01111 10010 10100 10110 11011 10x1x 01111 10100 11011 01111 10100 11011 |
Из оставшегося Z (за исключением L-экстремалей) выберем кубы которые покроют остаток множества L.
| (Z\E)Ç(L#E)01111 10100 01x11 01111 O x1011 O O 011x1 01111 O 1x011 O O 1x10x O 10100 101xx O 10100 |
Тупиковые формы: 01x11, 011x1 & 1x10x, 101xx
Минимизированная переключательная функция для выхода переноса ОЧС Cmin:
0101x; xx101; x110x; 10xx1; 10x1x; 01x11; 101xx.
Алгоритм Рота для выхода S1 ОЧС
C0=L; Z0=0;
Множество С0: 00001; 00011; 00100; 00110; 01001; 01011; 01100; 01110; 10000
10010; 10101; 10111; 11000; 11010; 11101
| C0*C0 | 00001 | 00011 | 00100 | 00110 | 01001 | 01011 | 01100 | 01110 | 10000 | 10010 | 10101 | 10111 | 11000 | 11010 | 11101 |
| 00001 | |||||||||||||||
| 00011 | 000x1 | ||||||||||||||
| 00100 | 00y0y | 00yyy | |||||||||||||
| 00110 | 00yyy | 00y1y | 001x0 | ||||||||||||
| 01001 | 0x001 | 0y0y1 | 0yy0y | 0yyyy | |||||||||||
| 01011 | 0y0y1 | 0x011 | 0yyyy | 0yy1y | 010x1 | ||||||||||
| 01100 | 0yy0y | 0yyyy | 0x100 | 0y1y0 | 01y0y | 01yyy | |||||||||
| 01110 | 0yyyy | 0yy1y | 0y1y0 | 0x110 | 01yyy | 01y1y | 011x0 | ||||||||
| 10000 | y000y | y00yy | y0y00 | y0yy0 | yy00y | yy0yy | yyy00 | yyyy0 | |||||||
| 10010 | y00yy | y001y | y0yy0 | y0y10 | yy0yy | yy01y | yyyy0 | yyy10 | 100x0 | ||||||
| 10101 | y0y01 | y0yy1 | y010y | y01yy | yyy01 | yyyy1 | yy10y | yy1yy | 10y0y | 10yyy | |||||
| 10111 | y0yy1 | y0y11 | y01yy | y011y | yyyy1 | yyy11 | yy1yy | yy11y | 10yyy | 10y1y | 101x1 | ||||
| 11000 | yy00y | yy0yy | yyy00 | yyyy0 | y100y | y10yy | y1y00 | y1yy0 | 1x000 | 1y0y0 | 1yy0y | 1yyyy | |||
| 11010 | yy0yy | yy01y | yyyy0 | yyy10 | y10yy | y101y | y1yy0 | y1y10 | 1y0y0 | 1x010 | 1yyyy | 1yy1y | 110x0 | ||
| 11101 | yyy01 | yyyy1 | yy10y | yy1yy | y1y01 | y1yy1 | y110y | y11yy | 1yy0y | 1yyyy | 1x101 | 1y1y1 | 11y0y | 11yyy | |
| 11111 | yyyy1 | yyy11 | yy1yy | yy11y | y1yy1 | y1y11 | y11yy | y111y | 1yyyy | 1yy1y | 1y1y1 | 1x111 | 11yyy | 11y1y | 111x1 |
C1=A1È(C0-Z0)
Множество C1: 000x1; 0x001; 0x011; 001x0; 0x100; 0x110; 010x1; 011x0; 100x0; 1x000; 1x010; 101x1; 1x101; 1x111; 110x0; 111x1.
| C1*A1 | 000x1 | 0x001 | 0x011 | 001x0 | 0x100 | 0x110 | 010x1 | 011x0 | 100x0 | 1x000 | 1x010 | 101x1 | 1x101 | 1x111 | 110x0 |
| 000x1 | |||||||||||||||
| 0x001 | 00001 | ||||||||||||||
| 0x011 | 00011 | 0x0x1 | |||||||||||||
| 001x0 | 00yxy | 00y0y | 00y1y | ||||||||||||
| 0x100 | 00y0y | 0xy0y | 0xyyy | 00100 | |||||||||||
| 0x110 | 00y1y | 0xyyy | 0xy1y | 00110 | 0x1x0 | ||||||||||
| 010x1 | 0x0x1 | 01001 | 01011 | 0yyxy | 01y0y | 01y1y | |||||||||
| 011x0 | 0yyxy | 01y0y | 01y1y | 0x1x0 | 01100 | 01110 | 01yxy | ||||||||
| 100x0 | y00xy | y000y | y001y | y0yx0 | y0y00 | y0y10 | yy0xy | yyyx0 | |||||||
| 1x000 | y000y | yx00y | yx0yy | y0y00 | yxy00 | yxyy0 | y100y | y1y00 | 10000 | ||||||
| 1x010 | y001y | yx0yy | yx01y | y0y10 | yxyy0 | yxy10 | y101y | y1y10 | 10010 | 1x0x0 | |||||
| 101x1 | y0yx1 | y0y01 | y0y11 | y01xy | y010y | y011y | yyyx1 | yy1xy | 10yxy | 10y0y | 10y1y | ||||
| 1x101 | y0y01 | yxy01 | yxyy1 | y010y | yx10y | yx1yy | y1y01 | y110y | 10y0y | 1xy0y | 1xyyy | 10101 | |||
| 1x111 | y0y11 | yxyy1 | yxy11 | y011y | yx1yy | yx11y | y1y11 | y111y | 10y1y | 1xyyy | 1xy1y | 10111 | 1x1x1 | ||
| 110x0 | yy0xy | y100y | y101y | yyyx0 | y1y00 | y1y10 | y10xy | y1yx0 | 1x0x0 | 11000 | 11010 | 1yyxy | 11y0y | 11y1y | |
| 111x1 | yyyx1 | y1y01 | y1y11 | yy1xy | y110y | y111y | y1yx1 | y11xy | 1yyxy | 11y0y | 11y1y | 1x1x1 | 11101 | 11111 | 11yxy |
Множество C2: 0x0x1; 0x1x0; 1x0x0; 1x1x1.