Constructing substitutions on the basis of threshold functions of multivalued logic

An algorithm for building one-to-one mappings (substitutions) with the help of coordinate threshold $k$-valued logic functions is presented. The algorithm includes a geometric way of generating balanced threshold functions and two ways to produce substitutions from these functions – by forming triangular systems and by algorithmic searching. Results of experimental testing the algorithms are given.