Logichard
0:00.0

A Boolean function f:{0,1}n{0,1}f: \{0, 1\}^n \to \{0, 1\} is monotone if for any x,y{0,1}nx, y \in \{0, 1\}^n, xyx \le y (component-wise) implies f(x)f(y)f(x) \le f(y). The number of monotone Boolean functions of nn variables is known as the nn-th Dedekind number. What is the number of monotone Boolean functions of 33 variables?