逻辑与非 编辑
谢费尔竖线，得名于亨利·莫里斯·谢费尔，写为“| ”或“↑”，指示等价于逻辑合取运算的否定的逻辑连结词。普通语言表达为“不全是即真”，也就是说，A | B假，当且仅当A与B都真时才成立。它是可用来表达与命题逻辑有关的所有布尔函数的自足算子之一。在布尔代数和数字电子中有叫做“NAND”的等价运算。
1
相关
与非门是数字逻辑中实现逻辑与非的逻辑门。若输入均为高电平，则输出为低电平；若输入中至少有一个为低电平，则输出为高电平。与非门是一种通用的逻辑门，因为任何布尔函数都能用与非门实现。
与非门是数字逻辑中实现逻辑与非的逻辑门。若输入均为高电平，则输出为低电平；若输入中至少有一个为低电平，则输出为高电平。与非门是一种通用的逻辑门，因为任何布尔函数都能用与非门实现。
与非门是数字逻辑中实现逻辑与非的逻辑门。若输入均为高电平，则输出为低电平；若输入中至少有一个为低电平，则输出为高电平。与非门是一种通用的逻辑门，因为任何布尔函数都能用与非门实现。
与非门是数字逻辑中实现逻辑与非的逻辑门。若输入均为高电平，则输出为低电平；若输入中至少有一个为低电平，则输出为高电平。与非门是一种通用的逻辑门，因为任何布尔函数都能用与非门实现。
与非门是数字逻辑中实现逻辑与非的逻辑门。若输入均为高电平，则输出为低电平；若输入中至少有一个为低电平，则输出为高电平。与非门是一种通用的逻辑门，因为任何布尔函数都能用与非门实现。
与非门是数字逻辑中实现逻辑与非的逻辑门。若输入均为高电平，则输出为低电平；若输入中至少有一个为低电平，则输出为高电平。与非门是一种通用的逻辑门，因为任何布尔函数都能用与非门实现。
与非门是数字逻辑中实现逻辑与非的逻辑门。若输入均为高电平，则输出为低电平；若输入中至少有一个为低电平，则输出为高电平。与非门是一种通用的逻辑门，因为任何布尔函数都能用与非门实现。
与非门是数字逻辑中实现逻辑与非的逻辑门。若输入均为高电平，则输出为低电平；若输入中至少有一个为低电平，则输出为高电平。与非门是一种通用的逻辑门，因为任何布尔函数都能用与非门实现。