Настраиваемые бинарные процедуры и циклические программы

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