%0 article
%A Новиков Д. Я., 
%A Черемисинова Л. Д., 
%T ИМПЛИКАТИВНЫЙ МЕТОД АНАЛИЗА ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ
%D 2012
%J Информатика
%X Рассматривается задача определения, находятся ли системы частичных булевых функций вотношении эквивалентности или реализации. Предлагается метод решения задачи путем сведения ее к проверке выполнимости конъюнктивной нормальной формы, в основе формирования которой лежит использование отношения импликации.
%U https://www.academjournals.by/publication/18674