Recognizing the presence of a growing unessential argument of Boolean functions

MaRDI QIDQ1878775zbMATH OpenFDO

Authors A. A. Voronenko

Publication date 8 September 2004

Published in Moscow University Computational Mathematics and Cybernetics (Search for Journal in Brave)

zbMATH Keywords

Boolean functionfunctional element schemeunessential variable

Mathematics Subject Classification ID

Boolean functions (06E30)

Review text

The author uses functional element schemes in an arbitrary complete basis to solve the problem posed in the title.

Recommendations

• On the algorithm of detecting the essential arguments of random Boolean function
• scientific article; zbMATH DE number 6155508
• Essential arity gap of Boolean functions
• On Deciding Whether a Boolean Function is Constant or Not
• A mechanism of uncovering of quantifiers in Boolean variables
• Recognition of interval Boolean functions
• scientific article; zbMATH DE number 2127869
• On the implicit expressibility of Boolean functions
• On realization of Boolean functions by formulae without repetitions
• Retention of functional completeness of Boolean functions under ``failures of the arguments

This page was built for publication: Recognizing the presence of a growing unessential argument of Boolean functions

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