Минимизация булевых функций в классе дизъюнктивных нормальных форм

Обзор посвящен проблеме минимизации булевых функций в классе дизъюнктивных нормальных форм (д. н. ф.) и охватывает литературу с 1953 по 1986 годы. Основное внимание в обзоре уделено математическому направлению исследований в области минимизации булевых функций: оценки параметров булевых функций и алгоритмические трудности синтеза минимальных д. н. ф. Кроме того, в обзоре дана классификация алгоритмов минимизации, приведены примеры эвристических алгоритмов минимизации и оценки их эффективности.
Библ. 217.