写为“| ”（见竖线）或“↑”，指示等价于合取运算的否定的逻辑运算。普通语言表达为“不全是即真”（Not AND，因此也常缩写为NAND），也就是说，A | B假，当且仅当A与B都真时才成立。它是可用来表达与命题逻辑有关的所有布尔函数的自足算子之一。在布尔代数和数字电子中有叫做「NAND」的等价运算。
定义.谢费尔竖线“|”等价于逻辑与的否定：下列真值表在语义上定义了“|”：其他逻辑算子可以依据"|"来定义，比如：
历史.亨利·莫里斯·谢费尔证明了