RT - article
SR - Electronic
T1 - ИМПЛИКАТИВНЫЙ МЕТОД АНАЛИЗА ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ
JF - Информатика
SP - 2018-03-19
A1 - Новиков Д. Я., 
A1 - Черемисинова Л. Д., 
YR - 2012
UL - https://www.academjournals.by/publication/18674
AB - Рассматривается задача определения, находятся ли системы частичных булевых функций вотношении эквивалентности или реализации. Предлагается метод решения задачи путем сведения ее к проверке выполнимости конъюнктивной нормальной формы, в основе формирования которой лежит использование отношения импликации.