查看“︁自足算子”︁的源代码

{{NoteTA
|G1 = IT
|G2 = Math
}}
'''自足算子'''或'''自足连结词'''是在一特定类的算子中只靠自身就能生成所有这些算子的算子。在[[逻辑]]中，它是足够生成所有[[布尔值函数]]的一个逻辑算子，<math>f : X \to \mathbb{B} </math>，这里的 <math>X\!</math> 是一个任意集合而 <math>\mathbb{B}</math> 是一个通用的 2-元素集合，典型为 <math>\mathbb{B} = \{ 0, 1 \} = \{ \mathrm{false}, \mathrm{true} \}</math>，特别是生成所有的[[有限布尔函数]]，<math> f : \mathbb{B}^k \to \mathbb{B} </math>。

==参见==

* [[逻辑图]]
* Ampheck(来自希腊语''{{polytonic|ἀμφήκης}}'',“双刃”) <math>\curlywedge</math>, 皮尔士箭头 &darr; = [[逻辑或非|NOR]]
* [[Sheffer竖线]] = [[逻辑与非|NAND]]
{{logic-stub}}

[[Category:布尔代数|Z]]

[[en:Functional completeness#Minimal functionally complete operator sets]]