20
правок
Изменения
Нет описания правки
*Операция элементарного поглощения
:<tex>A \tilde x \lor A = A </tex>
:(где A {{---}} любое элементарное произведение, то есть конъюнкт, в который каждая из переменных входит не более одного раза.)
Метод состоит в последовательном выполнении всех возможных склеиваний и затем всех поглощений частей СДНФ пока это может быть осуществимо.
====Описание алгоритма====
{|border="1"
|№№ скл.склеивания
|Результат
|-
{|border="1"
|№№ скл.склеивания
|Результат
|-
