2015-07-04
1422
Минимизируемая функция представляется в СДНФ, и к ней применяются все возможные операции неполного склеивания
, (2.10)
а затем поглощения
, (2.11)
и эта пара этапов применяется многократно. Таким образом, удаётся снизить ранг термов. Это процедура повторяется до тех пор, пока не останется ни одного терма, допускающего склеивание с каким-либо другим термом.
Заметим, что левую часть уравнения (2.10) сразу можно было минимизировать более простым и очевидным способом:
.
Этот способ плох тем, что при такой непосредственной минимизации конъюнктивные термы 
или 
исчезают, хотя возможны ещё случаи их использования для склеивания и поглощения с оставшимися термами.
Нужно отметить, что метод Квайна является достаточно трудоёмким, поэтому вероятность допущения ошибок во время преобразований достаточно велик. Но его преимуществом является то, что теоретически его можно использовать для любого числа аргументов и при увеличении количества переменных преобразования усложняются не так сильно.
