195
правок
Изменения
м
→Описание алгоритма
====Описание алгоритма====
*Исходным является множество пар вида <tex>Ax</tex> или <tex>A \neg x</tex>
*Выполняются все возможные операции неполного попарного склеивания для элементарных конъюнкций длины <tex> n</tex> (где <tex> n</tex> {{---}} количество число аргументов).
*Выполняются все возможные операции элементарного поглощения для элементарных конъюнкций длины <tex> n-1</tex> (общая часть "<tex>p</tex>" имеет длину <tex> n-1</tex>)
*В результате получилось множество элементарных конъюнкций, разделяемых на два подмножества (по длине):
