logical equivalence:逻辑等价
逻辑等价(logical equivalence)表示两个陈述或句子之间的推理逻辑或布尔运算。这种关系可以表达为“有且只有”,符号用双线和指向左右的双箭头表示(<=>)。如果A和B有这种关系则A<=>B的意思是“A存在则有且只有B存在”。 表达式A<=>B也等价于(A=>B) *(B=>A)。 在这里星号(*)表示逻辑与运算,向右的双线箭头表示逻辑包含。 逻辑等价(logical equivalence)是双向的。因此(A<=>B)=>(B<=>A) 逻辑等价在电路设计里是很重要的。许多电路有可能是逻辑相等的,他们有相同的真值表。设计师的目标是使用最小量的门电路找到满足的逻辑功能。这就需要优化运算的有效性、可靠性和速度。 另请参见逻辑包含(logical implication)。
最近更新时间:2008-06-17 EN
相关推荐
-
机器学习、AI要求、示例的基础设施
对于寻求利用数据获得竞争优势的公司来说,IT是作为一种专业学科的存在。现在,企业充斥着数据,但处理和分析数据的 […]
-
缓解多云治理挑战的5个最佳做法
部署多云模型会给云团队带来更多的复杂性和管理挑战。这些挑战影响着企业环境的方方面面,包括设计、部署、配置、运营 […]
-
联合国决议表明全球关注AI规则和原则
联合国大会周四通过了一项关于人工智能的最终决议,这是朝着全球合作迈出的一步-关于如何使用人工智能和全球支持保护 […]
-
4个需要解决的虚拟现实道德问题
虚拟、增强和混合现实(统称为扩展现实XR)的增长导致出现分歧。一边是用户和供应商,另一边是法律专家和伦理学家& […]