Constructive property of Boolean functions (source code)

= Constructive property of Boolean functions

A property of $n$-variable Boolean functions is constructive when membership can be decided from a $2^n$-bit truth table in time polynomial in $2^n$.