謝費爾豎線維基百科,自由的 encyclopedia 謝費爾豎線(英語:Sheffer stroke),得名於亨利·莫里斯·謝費爾(英語:Henry M. Sheffer)[1],寫為「| 」(見豎線)或「↑」,指示等價於合取運算的否定的邏輯運算。普通語言表達為「不全是即真」(Not AND,因此也常縮寫為NAND),也就是說,A | B假,若且唯若A與B都真時才成立。它是可用來表達與命題邏輯有關的所有布爾函數的自足算子之一。在布爾代數和數位電子中有叫做「NAND」的等價運算。 文氏圖 A | B {\displaystyle A|B} 關於數位電路中的與非門,請見「與非門」。
謝費爾豎線(英語:Sheffer stroke),得名於亨利·莫里斯·謝費爾(英語:Henry M. Sheffer)[1],寫為「| 」(見豎線)或「↑」,指示等價於合取運算的否定的邏輯運算。普通語言表達為「不全是即真」(Not AND,因此也常縮寫為NAND),也就是說,A | B假,若且唯若A與B都真時才成立。它是可用來表達與命題邏輯有關的所有布爾函數的自足算子之一。在布爾代數和數位電子中有叫做「NAND」的等價運算。 文氏圖 A | B {\displaystyle A|B} 關於數位電路中的與非門,請見「與非門」。