Title: Avtomatizat︠s︡ii︠a︡ logicheskogo proektirovanii︠a︡ diskretnykh sistem