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

Сложность

Несмотря на некоторые преимущества перед картами Карно, метод Куайна — Мак-Класки тоже ограничен: время работы метода растёт экспоненциально с увеличением входных данных. Поэтому для функций с большим количеством переменных используют эвристические алгоритмы, например, эспрессо.

Литература

• Савельев А.Я. Основы информатики. — Москва: Издательство МГТУ им. Н.Э. Баумана, 2001. — С. 232—239. — 328 с. — (Информатика в техническом университете). — ISBN 5703815150