Seol mar théacs é seo: Методы дискретного анализа в синтезе реализаций булевых функций