@article{Новиков Д. Я.2018-05-02,
author = { Новиков Д. Я.,  Черемисинова Л. Д.},
title = {ВЕРИФИКАЦИЯ ФУНКЦИОНАЛЬНЫХ ОПИСАНИЙ С НЕОПРЕДЕЛЕННОСТЬЮ НА ОСНОВЕ ПАРАФАЗНОГО ПРЕДСТАВЛЕНИЯ БУЛЕВЫХ ФУНКЦИЙ},
year = {2010},
publisher = {NP «NEICON»},
abstract = {Исследуется задача проверки реализуемости системы частично определенных булевых функций многоблочной структурой, каждый блок которой также задается системой частично определенных булевых функций. Предлагается метод сведения задачи к проверке выполнимости конъюнктивной нормальной формы (КНФ), которая является объединением КНФ разрешения многоблочной структуры и КНФ запрета исходной системы функций. В основе построения КНФ разрешения лежит парафазное представление функций, реализуемых структурой.},
URL = {https://www.academjournals.by/publication/18771},
eprint = {https://www.academjournals.by/files/18722},
journal = {Информатика},
}