有兩個邏輯函數(shù)f和g，如果對于f和g的每一種取值組合，對應(yīng)的輸出都相同，我們說這兩個邏輯函數(shù)相等，記作f=g。
由邏輯函數(shù)相等的概念，可以得到下面的推論：
如果f=g,則f和g對應(yīng)的真值表完全相同；反過來，如果兩個邏輯函數(shù)的真值表完全相同，則f=g.
例1 證明 a+ab=a+b
解：根據(jù)題意，列出真值表如表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兩個邏輯函數(shù)的每一種取值組合，它們的輸出完全相同。
所以，a+ab=a+b
邏輯函數(shù)相等的概念是邏輯函數(shù)運算、化簡和變換的基礎(chǔ)。我們介紹的定理、公式都可以利用邏輯函數(shù)相等的概念加以證明。