Метод Куайна позволяет минимизировать дизъюнктивную нормальную форму (ДНФ) логических выражений. Алгоритм включает склеивание слагаемых по свойству поглощения, построение таблицы поглощения и выбор импликант с уникальными столбцами (ядро выражения). В результате получается упрощённая ДНФ, например: (x1 ∧ x2) ∨ (x1 ∧ x3) ∨ (x2 ∧ x3). Подходит для оптимизации логических схем и булевых функций.
