Functional circuits defining families of permutations of the space $GF(2)^N$

We consider families of mappings of Boolean vector spaces which are defined by functional circuits consisting of linear and nonlinear functional elements. Conditions on the structure of connections between circuit elements and on the linear functional elements which guarantee the bijectivity of mappings for any choice of nonlinear functional elements are given.