A371717 Number of balanced inequivalent monotone Boolean functions of n or fewer variables.

1, 1, 2, 4, 16, 951, 16440466

Offset

1,3

Links

Table of n, a(n) for n=1..7.

Aniruddha Biswas and Palash Sarkar, Counting unate and balanced monotone Boolean functions, arXiv:2304.14069 [math.CO], 2023.

Aniruddha Biswas and Palash Sarkar, Counting Unate and Monotone Boolean Functions Under Restrictions of Balancedness and Non-Degeneracy, J. Int. Seq. (2025) Vol. 28, Art. No. 25.3.4. See pp. 4, 14.

Lennart Van Hirtum, A path to compute the 9th Dedekind Number using FPGA Supercomputing

Crossrefs

Cf. A000372, A003182, A341633.

Sequence in context: A114641 A152690 A194457 * A001128 A280890 A124436

Adjacent sequences: A371714 A371715 A371716 * A371718 A371719 A371720

Keyword

nonn,hard,more

Author

Aniruddha Biswas, Apr 04 2024

Extensions

a(7) from Aniruddha Biswas, May 12 2024

Status

approved