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