20
правок
Изменения
Нет описания правки
:(где A - любое элементарное произведение)
#Операция элементарного поглощения
:<tex>Ax A \tilde x \lor A = A </tex>
Суть метода заключается в последовательном выполнении всех возможных склеиваний и затем всех поглощений частей СДНФ пока это может быть осуществимо.
====Описание алгоритма====