有两个逻辑函数f和g，如果对于f和g的每一种取值组合，对应的输出都相同，我们说这两个逻辑函数相等，记作f=g。
由逻辑函数相等的概念，可以得到下面的推论：
如果f=g,则f和g对应的真值表完全相同；反过来，如果两个逻辑函数的真值表完全相同，则f=g.
例1 证明 a+ab=a+b
解：根据题意，列出真值表如表1所示。
表1 例1的真值表
ab
a+ab
a+b
00
0
0
01
1
1
10
1
1
11
1
1
由表1可以看出，对于a+ab和a+b两个逻辑函数的每一种取值组合，它们的输出完全相同。
所以，a+ab=a+b
逻辑函数相等的概念是逻辑函数运算、化简和变换的基础。我们介绍的定理、公式都可以利用逻辑函数相等的概念加以证明。