谢费尔竖线 谢费尔竖线英語Sheffer stroke得名于亨利莫里斯谢费尔英语Henry M Sheffer写为 見豎線或指示等价于合取运算的否定的逻辑运算普通语言表达为不全是即真Not AND因此也常縮寫為NAND也就是说A  B假当且仅当A与B都真时才成立它是可用来表达与命题逻辑有关的所有布尔函数的自足算子之一在布尔代数和数字电子中有叫做NAND的等价运算