Large property of Boolean functions (source code)

= Large property of Boolean functions

A property of Boolean functions is large when it contains a nonnegligible fraction, customarily at least $2^{-O(n)}$, of all $n$-variable Boolean functions.