Методы минимизации логических функций
Сокращение и минимизация логических формул
- Метод непосредственных преобразований
- Аналитические методы: алгоритм Куайна, алгоритм Куайна-МакКласки (QMC)
- Минимизирующие карты: карта Карно, диаграмма Вейча
- Эвристические методы: Espresso, eQMC, CCubes