On the closure of a non-zero invariant Yablonsky's class by operation of variables identification (Q1358554)

A class \(Q\) of Boolean functions is called invariant if it is closed under the operations of substitution of constants, of renaming of variables (without identification), and of addition or exclusion of unessential variables. Let \(Q_n \subset Q\) contain functions of \(n\) variables. S. V. Yablonsky proved in 1959 that the sequence \(2^{-n} \log_2 |Q_n |\) is non-increasing and has a limit \(\sigma= \sigma (Q)\in [0,1]\) for any invariant class \(Q\). The main result of the present paper is the following: The closure of any invariant class \(Q\), \(\sigma (Q) \neq 0\), by the operation of identification of variables consists of all Boolean functions.