Метод минимизации функций

Любая булева функция может быть записана в фиксированном виде (СДНФ или СКНФ), но эта запись не экономна. Проблема простейшего представления функции сводится к проблеме выбора базиса и проблеме наиболее экономного представления функции в этом базисе. Это и есть проблема минимизации функции.
В настоящее время наибольшее распространение получил базис, состоящий из инверсии, конъюнкции и дизъюнкции.