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