Особенности автоматизации синтеза булевых функций