This site is supported by donations to The OEIS Foundation.

 Hints (Greetings from The On-Line Encyclopedia of Integer Sequences!)
 A051114 Number of monotone Boolean functions of n variables with 6 mincuts. 4
 0, 0, 0, 0, 1, 1380, 759457, 192504214, 31169837405, 3827970163920, 392135190780649, 35468973527445018, 2937270598777421269, 228156280366446932500, 16904255174464832812001, 1208995011493806361868862, 84197134590686932418878093, 5746616155270206518199693720 (list; graph; refs; listen; history; text; internal format)
 OFFSET 0,6 REFERENCES J. L. Arocha, Antichains in ordered sets, (in Spanish) An. Inst. Mat. UNAM, vol. 27, 1987, 1-21. V. Jovovic and G. Kilibarda, On enumeration of the class of all monotone Boolean functions, Belgrade, 1999, in preparation. LINKS Colin Barker, Table of n, a(n) for n = 0..500 K. S. Brown, Dedekind's Problem V. Jovovic, G. Kilibarda, On the number of Boolean functions in the Post classes F^{mu}_8, Diskretnaya Matematika, 11 (1999), no. 4, 127-138 (translated in Discrete Mathematics and Applications, 9, (1999), no. 6). Goran Kilibarda and Vladeta Jovovic, Antichains of Multisets, J. Integer Seqs., Vol. 7, 2004. FORMULA 1/6! (64^n-30 * 48^n+ 120 * 40^n+ 60 * 36^n+ 60 * 34^n-12 * 33^n-345 * 32^n-720 * 30^n+ 810 * 28^n+ 120 * 27^n+ 480 * 26^n+ 360 * 25^n-480 * 24^n-720 * 23^n-240 * 22^n-540 * 21^n+ 1380 * 20^n+ 750 * 19^n+ 60 * 18^n-210 * 17^n-1535 * 16^n-1820 * 15^n+ 2250 * 14^n+ 1800 * 13^n-2820 * 12^n+ 300 * 11^n+ 2040 * 10^n+ 340 * 9^n-1815 * 8^n+ 510 * 7^n-1350 * 6^n+ 1350 * 5^n+ 274 * 4^n-548 * 3^n+ 120 * 2^n). CROSSREFS Cf. A016269, A047707, A051112-A051118. Sequence in context: A204049 A204048 A209791 * A139667 A031796 A020406 Adjacent sequences:  A051111 A051112 A051113 * A051115 A051116 A051117 KEYWORD nonn,easy AUTHOR Vladeta Jovovic, Goran Kilibarda, Zoran Maksimovic EXTENSIONS More terms from Colin Barker, Nov 26 2014 STATUS approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

Last modified September 19 12:57 EDT 2019. Contains 327198 sequences. (Running on oeis4.)