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