Sheffer,写为“|”或“↑”,指示等价于合取运算的否定的逻辑运算。它是可用来表达与命题逻辑有关的所有布尔函数的自足算子之一。在布尔代数和数字电子中有叫做“NAND”的等价运算。

基本简介

谢费尔竖线

英语:Sheffer stroke),得名于Henry M. Sheffer,写为“|”或“↑”,指示等价于合取运算的否定的逻辑运算。普通语言表达为“

不全是

即真”,也就是说,A | B 假,当且仅当 A 与 B 都真时才成立。