自足算子

自足算子或自足連結詞是在一特定類的算子中只靠自身就能生成所有這些算子的算子。在邏輯中，它是足夠生成所有布林值函數的一個邏輯算子，${\displaystyle f:X\to \mathbb {B} }$，這裏的 ${\displaystyle X\!}$ 是一個任意集合而 ${\displaystyle \mathbb {B} }$ 是一個通用的 2-元素集合，典型為 ${\displaystyle \mathbb {B} =\{0,1\}=\{\mathrm {false} ,\mathrm {true} \}}$，特別是生成所有的有限布林函數，${\displaystyle f:\mathbb {B} ^{k}\to \mathbb {B} }$。

參見

• 邏輯圖
• Ampheck(來自希臘語ἀμφήκης,「雙刃」) ${\displaystyle \curlywedge }$, 皮爾士箭頭 ↓ = NOR
• Sheffer豎線 = NAND