Văn bản này: Методы дискретного анализа в синтезе реализаций булевых функций