Implicative algebra selection in the problems of static converters modelling

It is suggested the concept of a switching function used for the linearization of the static converter circuit in the analysis of steady-state and transient, defuse to the formal decision of problems of synthesis. The article shows the possibility of presenting switching functions in the basis of binary operations of choice of implicative algebra for the identification of individual variables with the energy of the process parameters and predicate variables with the parameters of the information process. The article obtain the logical-algebraic models for the typical energy transformations, which allows to reveal the structure of the switching functions and formalize the power and data circuits of static converters synthesis procedure by element basis, reproducing binary implicative algebra operations selection.