Метод Квайна – Мак-Класки – это регулярная процедура упрощения выражений логических функций путем выполнения над ними операций склеивания и поглощения, применяемая для автоматизации составления схем управления.
[Московский государственный открытый университет. Кафедра электропривода и автоматизации промышленных установок. Основы автоматизации технологических процессов.]