Двоичные диаграммы решений в логических уравнениях и задачах обращения дискретных функций | AMiner