Карты Карно

Графический метод минимизации булевых функций (Maurice Karnaugh 1953): сетка 2×2, 2×4, 4×4 для 2-4 переменных, ячейки соответствуют минтермам, соседние ячейки отличаются одной переменной (Gray code). Алгоритм: помечаем ячейки с 1, объединяем соседние в группы по 2^k (максимальные прямоугольники), для каждой группы выписываем общие переменные. Пример: f(A,B,C) = Σm(0,1,2,5) → минимизация до ¬C∨(A∧¬B). Ограничение: 5+ переменных карты становятся неудобными (Quine-McCluskey алгоритм для автоматизации)