Минимизация монотонной системы булевых функций, представленной интервалами с максимальными характеристиками
Предлагается метод минимизации монотонной системы булевых функций, в которой интервал системы представляется парой: булевым интервалом и максимальной характеристикой. Минимизация выполняется путем совместного расширения интервалов системы на подмножествах интервалов с одинаковыми характеристиками.