Повышение достоверности минимизации логических функций

Abstract

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

Проведено аналіз способу контролю достовірності результату мінімізації, заснований на стисканні області визначення функцій з різних змінних і представлення їх у точках стиснутої області у формі впорядкованої диз'юнктивної матриці з сусіднім розміщенням елементів та подальшою багатоверсійною мінімізацією.