逻辑函数相等 -凯发官网入口
2017-04-28 10:31 点击:31
有两个逻辑函数f和g,如果对于f和g的每一种取值组合,对应的输出都相同,我们说这两个逻辑函数相等,记作f=g。
由逻辑函数相等的概念,可以得到下面的推论:
如果f=g,则f和g对应的真值表完全相同;反过来,如果两个逻辑函数的真值表完全相同,则f=g.
例1 证明 a+ab=a+b
解:根据题意,列出真值表如表1所示。
表1 例1的真值表 |
a b | a+ab | a+b |
0 0 | 0 | 0 |
0 1 | 1 | 1 |
1 0 | 1 | 1 |
1 1 | 1 | 1 |
由表1可以看出,对于a+ab和a+b两个逻辑函数的每一种取值组合,它们的输出完全相同。
所以,a+ab=a+b
逻辑函数相等的概念是逻辑函数运算、化简和变换的基础。我们介绍的定理、公式都可以利用逻辑函数相等的概念加以证明。
相关搜索:
上一篇:
下一篇: