Abstract:
A method is proposed for computing sets of Boolean formulae by a program which transmits the parameters from an array prepared in advance to a special procedure. The program is referred to a cyclic binary and the procedure, as adjustable binary. The principles of their design, use, and complexity estimation are considered.