Seol mar théacs é seo: Синтез схем электронных цифровых машин