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