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