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

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

Offset: 1

Author

Aniruddha Biswas, Apr 04 2024

Keywords

• nonn
• hard
• more

Links

• 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.

Extensions

a(7) from Aniruddha Biswas, May 12 2024