自足算子 自足算子或自足连结词是在一特定类的算子中只靠自身就能生成所有这些算子的算子在逻辑中它是足够生成所有布尔值函数的一个逻辑算子 f  X  B displaystyle fXto mathbb B  这里的 X displaystyle X 是一个任意集合而 B displaystyle mathbb B  是一个通用的 元素集合典型为 B         f a l s e  t r u e  displaystyle mathbb B mathrm false mathrm true  特别是生成所有的有限布尔函数 f  B k  B displaystyle fmathbb B kto mathbb B