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