О программной реализации логических функций и автоматов. II. Время вычисления бинарных программ

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