自足算子或自足连结词是在一特定类的算子中只靠自身就能生成所有这些算子的算子。在逻辑中,它是足够生成所有布尔值函数的一个逻辑算子,
f
:
X
→
B
{\displaystyle f:X\to \mathbb {B} }
,这里的
X
{\displaystyle X\!}
是一个任意集合而
B
{\displaystyle \mathbb {B} }
是一个通用的 2-元素集合,典型为
B
=
{
0
,
1
}
=
{
f
a
l
s
e
,
t
r
u
e
}
{\displaystyle \mathbb {B} =\{0,1\}=\{\mathrm {false} ,\mathrm {true} \}}
,特别是生成所有的有限布尔函数,
f
:
B
k
→
B
{\displaystyle f:\mathbb {B} ^{k}\to \mathbb {B} }
。
1
谢费尔竖线,得名于亨利·莫里斯·谢费尔,写为“| ”或“↑”,指示等价于逻辑合取运算的否定的逻辑连结词。普通语言表达为“不全是即真”,也就是说,A | B假,当且仅当A与B都真时才成立。它是可用来表达与命题逻辑有关的所有布尔函数的自足算子之一。在布尔代数和数字电子中有叫做“NAND”的等价运算。
谢费尔竖线,得名于亨利·莫里斯·谢费尔,写为“| ”或“↑”,指示等价于逻辑合取运算的否定的逻辑连结词。普通语言表达为“不全是即真”,也就是说,A | B假,当且仅当A与B都真时才成立。它是可用来表达与命题逻辑有关的所有布尔函数的自足算子之一。在布尔代数和数字电子中有叫做“NAND”的等价运算。
谢费尔竖线,得名于亨利·莫里斯·谢费尔,写为“| ”或“↑”,指示等价于逻辑合取运算的否定的逻辑连结词。普通语言表达为“不全是即真”,也就是说,A | B假,当且仅当A与B都真时才成立。它是可用来表达与命题逻辑有关的所有布尔函数的自足算子之一。在布尔代数和数字电子中有叫做“NAND”的等价运算。
谢费尔竖线,得名于亨利·莫里斯·谢费尔,写为“| ”或“↑”,指示等价于逻辑合取运算的否定的逻辑连结词。普通语言表达为“不全是即真”,也就是说,A | B假,当且仅当A与B都真时才成立。它是可用来表达与命题逻辑有关的所有布尔函数的自足算子之一。在布尔代数和数字电子中有叫做“NAND”的等价运算。