УДК 519.714.7
Минимизация булевых функций
код УДК
описание
примечания
519.714.71
Алгоритмы минимизации
519.714.72
Метрические вопросы минимизации булевых функций