Logical synthesis of the control algorithm in a system with Boolean variables

Consideration was given to the problem of control synthesis in systems obeying Boolean equations with a time parameter. An algorithm was suggested to solve the problem on the basis of the method of substitutions relating the state variables at the subsequent time instants with the current values. The advantage of the proposed method over the Boolean differential, for example, lies in that there is no need to seek all solutions of the initial system of disjuncts, as well as in that it is possible to determine the substitutions once and forever and use them for various initial and objective system states.