On the number of inequivalent monotone Boolean functions of 9 variables
arXiv:2305.06346
Abstract
We provide the first-ever calculation of the number of inequivalent monotone Boolean functions of 9 variables, which is equal to 789,204,635,842,035,040,527,740,846,300,252,680.