PT - JOURNAL ARTICLE
AU - Новиков Д. Я., 
AU - Черемисинова Л. Д., 
TI - ИМПЛИКАТИВНЫЙ МЕТОД АНАЛИЗА ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ
DP - 2018-03-19
TA - Информатика
SO - https://www.academjournals.by/publication/18674
AB - Рассматривается задача определения, находятся ли системы частичных булевых функций вотношении эквивалентности или реализации. Предлагается метод решения задачи путем сведения ее к проверке выполнимости конъюнктивной нормальной формы, в основе формирования которой лежит использование отношения импликации.