17 Новиков Д. Я. Черемисинова Л. Д. 2012 2018-03-19 Информатика Рассматривается задача определения, находятся ли системы частичных булевых функций вотношении эквивалентности или реализации. Предлагается метод решения задачи путем сведения ее к проверке выполнимости конъюнктивной нормальной формы, в основе формирования которой лежит использование отношения импликации. https://www.academjournals.by/publication/18674 https://www.academjournals.by/files/18627