谢费尔竖线_计算机术语 - 线报百科mbji.cn

谢费尔竖线

计算机术语

谢费尔竖线（英语：Sheffer stroke），得名于Henry M. Sheffer，写为“|”或“↑”，指示等价于合取运算的否定的逻辑运算。

普通语言表达为“不全是即真”，也就是说，A | B 假，当且仅当 A 与 B 都真时才成立。它是可用来表达与命题逻辑有关的所有布尔函数的自足算子之一。在布尔代数和数字电子中有叫做“NAND”的等价运算。

参考资料

最新修订时间：2024-05-21 17:21

条目作者

概述

参考资料