1. Объединенный институт проблем информатики Минск, Сурганова, 6

УДК: 519.714

Реферат:

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