<?xml version="1.0" encoding="ISO-8859-1" ?>
<?xml-stylesheet type="text/css" href="http://www.getwiki.net/styles/plug.css" ?>
<getwiki version="2.0" xml:lang="en">
  <page>
    <title>Sole_Sufficient_Operator</title>
    <revision>
      <timestamp>2007-04-28T17:46:31Z</timestamp>
      <contributor>
        <username>Jon Awbrey</username>
      </contributor>
      <comment>Copy Text from Wikipedia of which [[User:Jon Awbrey]] is the sole author</comment>
      <text>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 function]]s, &lt;math&gt;f : X \to \mathbb{B} &lt;/math&gt;, where &lt;math&gt;X\!&lt;/math&gt; is an arbitrary set and where &lt;math&gt;\mathbb{B}&lt;/math&gt; is a generic 2-element set, typically &lt;math&gt;\mathbb{B} = \{ 0, 1 \} = \{ false, true \}&lt;/math&gt;, in particular, to generate all of the [[finitary boolean function]]s, &lt;math&gt; f : \mathbb{B}^k \to \mathbb{B} &lt;/math&gt;.

==References==

==See also==

* [[Ampheck]]
* [[Logical graph]]s
* [[Peirce arrow]] = [[Logical nor|NNOR]]
* [[Sheffer stroke]] = [[Logical nand|NAND]]</text>
    </revision>
  </page>
</getwiki>
