谢费尔竖线（英语：Sheffer stroke），得名于Henry M. Sheffer，写为“|”或“↑”，指示等价于合取运算的否定的逻辑运算。它是可用来表达与命题逻辑有关的所有布尔函数的自足映射之一。在布尔代数和数字电子中有叫做“NAND”的等价运算。普通语言表达为“不全是即真”，也就是说，A | B 假，当且仅当 A 与 B 都真时才成立。

亨利·莫里斯·谢费尔证明了命题逻辑的所有常用算子（非、与、或、蕴涵等等）都可以用它来表达（Sheffer 1913）。查尔斯·皮尔士在30多年前（1880年）就发现了这个事实。皮尔士还发现所有布尔算子都可以用NOR算子来表达。