Sole sufficient operator
From Wikipedia, the free encyclopedia
A sole sufficient operator or a sole sufficient connective is an operator that is sufficient by itself to generate all of the operators in a specified class of operators. In logic, it is a logical operator that suffices to generate all of the boolean-valued functions, , where
is an arbitrary set and where
is a generic 2-element set, typically
, in particular, to generate all of the finitary boolean functions,
.