谢费尔竖线維基百科,自由的 encyclopedia 谢费尔竖线(英語:Sheffer stroke),得名于亨利·莫里斯·谢费尔(英语:Henry M. Sheffer)[1],写为“| ”(見豎線)或“↑”,指示等价于合取运算的否定的逻辑运算。普通语言表达为“不全是即真”(Not AND,因此也常縮寫為NAND),也就是说,A | B假,当且仅当A与B都真时才成立。它是可用来表达与命题逻辑有关的所有布尔函数的自足算子之一。在布尔代数和数字电子中有叫做「NAND」的等价运算。 文氏图 A | B {\displaystyle A|B} 关于数字电路中的与非门,請見「与非门」。
谢费尔竖线(英語:Sheffer stroke),得名于亨利·莫里斯·谢费尔(英语:Henry M. Sheffer)[1],写为“| ”(見豎線)或“↑”,指示等价于合取运算的否定的逻辑运算。普通语言表达为“不全是即真”(Not AND,因此也常縮寫為NAND),也就是说,A | B假,当且仅当A与B都真时才成立。它是可用来表达与命题逻辑有关的所有布尔函数的自足算子之一。在布尔代数和数字电子中有叫做「NAND」的等价运算。 文氏图 A | B {\displaystyle A|B} 关于数字电路中的与非门,請見「与非门」。