< Sole Sufficient Operator(logic, wiki, imported, Jon Awbrey)
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,
f : X → B
, where
X
is an arbitrary set and where
B
is a generic 2-element set, typically
B = 0 1 = false true
, in particular, to generate all of the
finitary boolean functions,
f : Bk → B
.
References
See also
(last updated by Jon Awbrey, 5:46pm EDT - Sat, Apr 28 2007)
