謝費爾豎線（英語：Sheffer stroke），得名於Henry M. Sheffer，寫為“|”或“↑”，指示等價於合取運算的否定的邏輯運算。普通語言表達為“不全是即真”，也就是說，A | B 假，若且唯若 A 與 B 都真時才成立。它是可用來表達與命題邏輯有關的所有布爾函式的自足運算元之一。在布爾代數和數字電子中有叫做“NAND”的等價運算。
