ign="justify"> 10000 Г? 10111001xx00000 Г?Г?Г?Г?Г?Г?Г? 10000 Г? 101111x00x00000 Г?Г?Г?Г?Г?Г?Г?Г?Г? 10111Остаток00000 Г?Г?Г?Г?Г?Г?Г?Г?Г? 10111
Безліч кубів, непокриваемих L-екстремалами, L '= L # E = {00000; 10111; 11101}
Мінімізація функції S2 алгоритмом Рота
L = { ; N = Г?;
Пошук простих імплікант
Г?
A1 = {00x00; x0000; 00x11; x0011; x0100; x0111; 01x01; x1001; 01x10; x1010; x1101; x1110; 10x00; 10x11; 11x01; 11x10}; Z0 = {Г?}
B1 = {00000; 00011; 00100; 00111; 01001; 01010; 01101; 01110; 10000; 10011; 10100; 10111; 11001; 11010; 11101; 11110}; = {00x00; x0000; 00x11; x0011; x0100; x0111; 01x01; x1001; 01x10; x1010; x1101; x1110; 10x00; 10x11; 11x01; 11x10}
Г?Г? x1x01x1x01x1x10x1x10 Г?
A2 = {x0x00; x0x11; x1x01; x1x10}
Z1 = {Г?}
B2 = {00x00; x0000; 00x11; x0011; x0100; x0111; 01x01; x1001; 01x10; x1010; x1101; x1110; 10x00; 10x11; 11x01; 11x10}
C2 = {x0x00; x0x11; x1x01; x1x10}
Г?Г?Г?Г?
A3 = {Г?}
Кінцеве безліч простих імплікант Z = {x0x00; x0x11; x1x01; x1x10}
Пошук L-екстремали
z # (Zz) n L000000001100100001110100101010011010111010000100111010010111x0x0000000 Г? 00100 Г?Г?Г?Г?Г? 10000 Г? 10100 Г? x0x11 Г? 00011 Г? 00111 Г?Г?Г?Г?Г? 10011 Г? 10111x1x01 Г?Г?Г?Г? 01001 < span align = "justify"> Г? 01101