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