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