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