Публікація: Обобщенный метод минимизации совокупности конечных предикатов
Завантаження...
Дата
1987
Назва журналу
ISSN журналу
Назва тома
Видавництво
Анотація
Статья основана на результатах работы [1], которые получили в ней дальнейшее развитие. Предложенный подход является обобщением известного метода Шайнмана (2] для минимизации переключательных функций алгебры логики, СДНФ которой задается множеством десятичных эквивалентов ее конституент. При этом данный метод более удобный и наглядный, чем классический метод Квайна — Мак-Класки. Его легко можно распространить на случай совместной минимизации совокупности функций. Последняя может быть и полностью, и частично определенной. В работе [3] исследованы два подхода обобщения метода Шайнмана: с отметкой поглощаемых эквивалентов и элементов признаков. Остановимся на втором. Покажем справедливость его распространения на случай алгебры конечных предикатов.
Опис
Ключові слова
переключательные функции алгебры логики, алгебра конечных предикатов
Бібліографічний опис
Четвериков Г. Г. Обобщенный метод минимизации совокупности конечных предикатов / Г. Г. Четвериков, Т. В. Кириленко // Проблемы бионики : республ. межвед. науч.-техн. сб. – Х. : ХГУ, «Вища школа», 1987. – Вып. 39. – С. 44–49.