В чём заключается алгоритм Куайна — Мак-Класки?

Метод Куайна—Мак-Класки — табличный метод минимизации булевых функций, предложенный Уиллардом Куайном и усовершенствованный Эдвардом Мак-Класки. 12

Алгоритм минимизации: 1

1. Термы, на которых определена функция алгебры логики (ФАЛ), записываются в виде их двоичных эквивалентов. 12
2. Эти эквиваленты разбиваются на группы, в каждую группу входят эквиваленты с равным количеством единиц (нулей). 12
3. Производится попарное сравнение эквивалентов (термов) в соседних группах, с целью формирования термов более низких рангов. 12
4. Составляется таблица, заголовком строк в которой являются исходные термы, а заголовком столбцов — термы низких рангов. 12
5. Расставляются метки, отражающие поглощение термов высших рангов (исходных термов), и далее минимизация производится по методу Куайна. 12

Специфика метода заключается в сокращении количества попарных сравнений на предмет их склеивания. 12 Это достигается за счёт исходного разбиения термов на группы с равным количеством единиц (нулей). 12

Метод имеет ограничения области применения, так как время работы метода растёт экспоненциально с увеличением входных данных. 1