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

MaRDI QIDQ1358554zbMATH OpenFDO

Authors G. G. Amanzhaev

Publication date 13 July 1997

Published in Moscow University Mathematics Bulletin (Search for Journal in Brave)

zbMATH Keywords

Boolean functionsclosureidentification of variablesinvariant classnumber of functions

Mathematics Subject Classification ID

Boolean functions (06E30)

Review text

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.

Recommendations

• On classes of Boolean functions, invariant with respect to substitution of a single-variable function
• scientific article; zbMATH DE number 4008464
• scientific article; zbMATH DE number 647642
• scientific article; zbMATH DE number 51303

Cited in

(2)

• On classes of Boolean functions, invariant with respect to substitution of a single-variable function
• scientific article; zbMATH DE number 4008464 (Why is no real title available?)

This page was built for publication: On the closure of a non-zero invariant Yablonsky's class by operation of variables identification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1358554)