Blocks of Monotone Boolean Functions
Tkachenco V.G., Sinyavsky O.V. · Computer Science and Information Technology · 2016
This paper first proposed the method of constructing blocks of monotone Boolean functions (MBFs) is developed for classification and the analysis of these functions. Use of only nonisomorphic blocks considerably simplifies enumeration MBFs. Application of the method of construction blocks on the example of classification and analysis of MBFs from 0 to 4 variables is considered. This method can be used at counting of all MBFs of a given rank n.