Почему метод Квайна-МакКласки считается эффективным алгоритмом минимизации?

Метод Квайна-МакКласки считается эффективным алгоритмом минимизации по нескольким причинам:

• Простота вычислений. 1 Конъюнкции в алгоритме представляются булевыми и троичными векторами, что делает вычисления более простыми и приспособленными для компьютерной реализации. 1
• Сокращение количества попарных сравнений. 3 Это достигается за счёт исходного разбиения термов на группы с равным количеством единиц (нулей). 3 Это позволяет исключить сравнения, заведомо не дающие склеивания. 3
• Адаптация для компьютерной минимизации. 2 Замена символьного представления функции на двоичное облегчает её компьютерную обработку, а разбиение элементарных конъюнкций на группы существенно сокращает перебор вариантов для обнаружения наборов, которые потенциально могут склеиться друг с другом. 2