Describir: Методы дискретного анализа в синтезе реализаций булевых функций