logical negation symbol:逻辑非符号
布尔代数运算里的逻辑非符号(logical negation symbol)表示真值状态的反转。这个符号类似破折号带个尾巴(¬)。代数的减号(-)和(~)也用来表示逻辑非。 使用逻辑非的最简单的例子就是判断句。比如,假设A表示陈述句“天空是蓝的”,那么¬A表示陈述句“天空不是蓝的”或者“天空是蓝的是非真的”。 非符号(negation symbol)常用在复杂逻辑式里或是前面。在布尔运算里加号(+)表示逻辑包含OR,和星号表示逻辑和AND。当符号出现在复杂陈述使用逻辑非符号的规则就变得复杂起来。比如这一对表达式就不对所有的A和B都成立: ¬ (A + B) ¬(A * B) 然而下面的这对表示则对所有A和B成立: ¬(A + B) ¬(A * B) 同见布尔代数运算和数学符号。
(¬A) + (¬B)
(¬A)*(¬B)
(¬A)*(¬B)
(¬A) + (¬B)
最近更新时间:2008-06-17 EN
相关推荐
-
机器学习、AI要求、示例的基础设施
对于寻求利用数据获得竞争优势的公司来说,IT是作为一种专业学科的存在。现在,企业充斥着数据,但处理和分析数据的 […]
-
缓解多云治理挑战的5个最佳做法
部署多云模型会给云团队带来更多的复杂性和管理挑战。这些挑战影响着企业环境的方方面面,包括设计、部署、配置、运营 […]
-
联合国决议表明全球关注AI规则和原则
联合国大会周四通过了一项关于人工智能的最终决议,这是朝着全球合作迈出的一步-关于如何使用人工智能和全球支持保护 […]
-
4个需要解决的虚拟现实道德问题
虚拟、增强和混合现实(统称为扩展现实XR)的增长导致出现分歧。一边是用户和供应商,另一边是法律专家和伦理学家& […]