Algorithms counting monotone Boolean functions
We give a new algorithm counting monotone Boolean functions of it variables (or equivalently the elements of free distributive lattices of n generators). We computed the number of monotone functions of 8 variables which is 56 130 437 228 687 557 907 788. (C) 2001 Elsevier Science B.V. All rights reserved.
algorithms monotone boolean function free distributive lattice combinatorial problems dedekind problem