Изменения
→Описание алгоритма
*Если множество элементарных конъюнкций длины <tex>n-1</tex> не пусто, то заново выполняются операции неполного попарного склеивания и элементарного поглощения для конъюнкций длины <tex>n-1</tex> и так далее.
Алгоритм завершается, когда подмножество является пустым, либо нельзя выполнить ни одной операции неполного попарного склеивания.
После выполнения этого алгоритма будет получена сокращенная (но еще не минимальная ) форма.
Переход от сокращённой формы к минимальной осуществляется с помощью специальной таблицы.
