Некоторые методы, которые используются для минимизации функций в компьютерной инженерии:
- Метод Квайна. 5 Применяется к функциям, заданным в СДНФ (возможно задание и в СКНФ). 5 Проводится в два этапа: сначала выполняют переход от СДНФ к сокращённой ДНФ, затем проводят операции попарного неполного склеивания и элементарного поглощения. 5
- Метод карт Карно (диаграмм Вейча). 5 Графический способ минимизации переключательных (булевых) функций. 5 Обеспечивает простоту работы с большими выражениями и устраняет потенциальные гонки. 5 Карты Карно рассматривают как перестроенную таблицу истинности функции. 5
- Метод Квайна-Мак-Класки. 3 Предназначен для минимизации не полностью определённых булевых функций от большого числа переменных. 3 В стандартном виде обрабатывает только полностью заданные булевы функции, обладает невысоким быстродействием и требует значительных ресурсов. 3
- Метод Espresso. 3 Часто применяется для минимизации функций от большого числа переменных. 3 Не всегда даёт минимальный вариант функции, но его результат является очень близко аппроксимированной минимизацией. 3