Алгоритмы и методы логического синтеза порогово-инверсных графовдипломная работа (Бакалавр)