Обобщенный метод минимизации совокупности конечных предикатов

Abstract

Статья основана на результатах работы [1], которые получили в ней дальнейшее развитие. Предложенный подход является обобщением известного метода Шайнмана (2] для минимизации переключательных функций алгебры логики, СДНФ которой задается множеством десятичных эквивалентов ее конституент. При этом данный метод более удобный и наглядный, чем классический метод Квайна — Мак-Класки. Его легко можно распространить на случай совместной минимизации совокупности функций. Последняя может быть и полностью, и частично определенной. В работе [3] исследованы два подхода обобщения метода Шайнмана: с отметкой поглощаемых эквивалентов и элементов признаков. Остановимся на втором. Покажем справедливость его распространения на случай алгебры конечных предикатов.