谢费尔竖线,得名于亨利·莫里斯·谢费尔,写为“| ”或“↑”,指示等价于逻辑合取运算的否定的逻辑连结词。普通语言表达为“不全是即真”,也就是说,A | B假,当且仅当A与B都真时才成立。它是可用来表达与命题逻辑有关的所有布尔函数的自足算子之一。在布尔代数和数字电子中有叫做“NAND”的等价运算。
谢费尔竖线,得名于亨利·莫里斯·谢费尔,写为“| ”或“↑”,指示等价于逻辑合取运算的否定的逻辑连结词。普通语言表达为“不全是即真”,也就是说,A | B假,当且仅当A与B都真时才成立。它是可用来表达与命题逻辑有关的所有布尔函数的自足算子之一。在布尔代数和数字电子中有叫做“NAND”的等价运算。
谢费尔竖线,得名于亨利·莫里斯·谢费尔,写为“| ”或“↑”,指示等价于逻辑合取运算的否定的逻辑连结词。普通语言表达为“不全是即真”,也就是说,A | B假,当且仅当A与B都真时才成立。它是可用来表达与命题逻辑有关的所有布尔函数的自足算子之一。在布尔代数和数字电子中有叫做“NAND”的等价运算。
谢费尔竖线,得名于亨利·莫里斯·谢费尔,写为“| ”或“↑”,指示等价于逻辑合取运算的否定的逻辑连结词。普通语言表达为“不全是即真”,也就是说,A | B假,当且仅当A与B都真时才成立。它是可用来表达与命题逻辑有关的所有布尔函数的自足算子之一。在布尔代数和数字电子中有叫做“NAND”的等价运算。