Quickly add a free MyWikiBiz directory listing!
Sole sufficient operator
MyWikiBiz, Author Your Legacy — Thursday May 23, 2013
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, .
Portions of the above article were adapted from the following sources under the GNU Free Documentation License, under other applicable licenses, or by permission of the copyright holders.