Минимизация логических функций: Метод Куайна-Маккласки
Когда процессорный инженер проектирует цифровой сумматор или мультиплексор, он начинает с составления таблицы истинности. Эту таблицу легко перевести в Совершенную Дизъюнктивную Нормальную Форму (СДНФ) — длинное логическое выражение, состоящее из суммы произведений. Однако напрямую переносить СДНФ в кремний — значит тратить тысячи лишних транзисторов и сильно замедлять работу чипа. Для математически точной минимизации булевых функций используется алгоритмический метод Куайна-Маккласки.