Monotone Boolean function (source code)

= Monotone Boolean function
{wiki=Monotonic_function#In_Boolean_algebra}

A Boolean function $f:\{0,1\}^n\to\{0,1\}$ is monotone when $x_i\leq y_i$ for every $i$ implies $f(x)\leq f(y)$.