Метод минимизации бинарных программ, реализующих логические функции

Предлагается метод минимизации объема памяти бинарных программ, позволяющий получать решения независимо от вида формулы исходной функции. Рассматривается совместная реализация ортогональной системы логических функций, приводится асимптотическая оценка ее сложности.