謝費爾豎線

謝費爾豎線（英語：Sheffer stroke），得名於Henry M. Sheffer，寫為“|”或“↑”，指示等價於合取運算的否定的邏輯運算。

基本介紹

• 中文名：謝費爾豎線
• 外文名：Sheffer stroke
• 得名於：Henry M. Sheffer
• 普通語言表達：不全是即真

普通語言表達為“不全是即真”，也就是說，A | B 假，若且唯若 A 與 B 都真時才成立。它是可用來表達與命題邏輯有關的所有布爾函式的自足運算元之一。在布爾代數和數字電子中有叫做“NAND”的等價運算。