КОНТРОЛЬ ДОСТОВЕРНОСТИ МИНИМИЗАЦИИ ЛОГИЧЕСКИХ ФУНКЦИЙ

摘要

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