Четвериков, Г. Г.Кириленко, Т. В.2020-04-082020-04-081987Четвериков Г. Г. Обобщенный метод минимизации совокупности конечных предикатов / Г. Г. Четвериков, Т. В. Кириленко // Проблемы бионики : республ. межвед. науч.-техн. сб. – Х. : ХГУ, «Вища школа», 1987. – Вып. 39. – С. 44–49.http://openarchive.nure.ua/handle/document/11340Статья основана на результатах работы [1], которые получили в ней дальнейшее развитие. Предложенный подход является обобщением известного метода Шайнмана (2] для минимизации переключательных функций алгебры логики, СДНФ которой задается множеством десятичных эквивалентов ее конституент. При этом данный метод более удобный и наглядный, чем классический метод Квайна — Мак-Класки. Его легко можно распространить на случай совместной минимизации совокупности функций. Последняя может быть и полностью, и частично определенной. В работе [3] исследованы два подхода обобщения метода Шайнмана: с отметкой поглощаемых эквивалентов и элементов признаков. Остановимся на втором. Покажем справедливость его распространения на случай алгебры конечных предикатов.ruпереключательные функции алгебры логикиалгебра конечных предикатовArticle