ИМПЛИКАТИВНЫЙ МЕТОД АНАЛИЗА ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ

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