шпорки) , 1ый семестр (Луцик Ю) / 32 Определение L-экстремалей

Множество Z может быть избыточным. Прежде всего необходимо выявить обязательные простые импликанты, называемые в алгоритме извлечения L-экстремалями. L-экстремаль - это куб, который (и только он) покрывает некоторую вершину из множества L, не покрываемую никаким другим кубом из множества Z.
Для определения L-экстремалей воспользуемся операциями вычитания (#) и пересечения (?) кубов. z Z - некоторая простая импликанта, из которой вычитаются остальные Z-z.

z#(Z-z) 00x0 000x xx01 xx10
00х0
- zzz1
0001 11zy
xx01 11zz
1x10
x110
000х zz1z
0010
- 11zz
1x01
x101 y1yz
1x10
1yyz
x110
xх01 zzyy
0010 zzzz
? -
xх10 zzzz
?
? zzyy
1x01
zzyy
x101
-
Остаток ? ? 1x01
x101 1x10
x110
Таким образом, из таблицы получено множество L-экстремалей