V-мінімізація булевих функцій за матрицею відстаней та зведенням до задачі математичного програмування

Abstract

Запропоновано розвиток аналітичного методу мінімізації булевих функцій (БФ) у класі диз'юнктивних нормальних форм за номерами наборів значень аргументів – v-мінімізації. Розглянутий підхід дозволяє звести процес мінімізації БФ до використання суто аналітичного опису всіх його кроків за допомогою функцій від номера набору значень аргументів БФ.