ДНФ-РЕАЛИЗАЦИЯ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ МНОГИХ ПЕРЕМЕННЫХ

Предлагается эвристический метод минимизации частичных булевых функций многих переменных, ориентированный на компьютерную реализацию. В его основе лежит оригинальная технология параллельных операций над соседними элементами в булевом пространстве многих переменных. Приводятся результаты программной реализации метода и экспериментов на компьютере, в ходе которых оценивались эффективность программы и границы ее применимости.