謝費爾豎線

謝費爾豎線  ， 得名於 ， 寫爲 “ | ” （ 見豎線 ） 或 “ ↑ ” ， 指示等價於合取運算的否定的邏輯運算 。 普通語言表達爲 “ 不全是即真 ” （ Not AND ， 因此也常縮寫爲NAND ） ， 也就是說 ， A | B假 ， 當且僅當A與B都真時才成立 。 它是可用來表達與命題邏輯有關的所有布爾函數的自足算子之一 。 在布爾代數和數字電子中有叫做 「 NAND 」 的等價運算 。