Sheffer,寫為“|”或“↑”,指示等價(jià)于合取運(yùn)算的否定的邏輯運(yùn)算。它是可用來表達(dá)與命題邏輯有關(guān)的所有布爾函數(shù)的自足算子之一。在布爾代數(shù)和數(shù)字電子中有叫做“NAND”的等價(jià)運(yùn)算。

基本簡(jiǎn)介

謝費(fèi)爾豎線

英語(yǔ):Sheffer stroke),得名于Henry M. Sheffer,寫為“|”或“↑”,指示等價(jià)于合取運(yùn)算的否定的邏輯運(yùn)算。普通語(yǔ)言表達(dá)為“

不全是

即真”,也就是說,A | B 假,當(dāng)且僅當(dāng) A 與 B 都真時(shí)才成立。