Algebraic Objects of MBFs and Recursive Computation of the Dedekind Number
Autor: | V G Tkachenco, O V Sinyavsky |
---|---|
Rok vydání: | 2017 |
Předmět: | |
Zdroj: | Computer Science and Information Technology. 5:140-147 |
ISSN: | 2331-6071 2331-6063 |
DOI: | 10.13189/csit.2017.050404 |
Popis: | In this article the whole set of n-1 rank Monotone Boolean Functions (MBFs) is divided into equivalence classes. It shows how the Dedekind number D(n) can be calculated by using this partition. Five formulas were found to calculate this number as well as the algebraic properties of MBF blocks. |
Databáze: | OpenAIRE |
Externí odkaz: |