常用的邏輯運(yùn)算定理如表1所示
表1 常用邏輯運(yùn)算定理
邏輯運(yùn)算定理
原等式
對偶式
交換律
a·b=b·a
a+b=b+a
結(jié)合律
a(bc)=(ab)c
a+(b+c)=(a+b)+c
分配律
a(b+c)=ab+ac
a+bc=(a+b)(a+c)
自等律
a·1=a
a+0=a
0-1律
a·0=0
a+1=1
互補(bǔ)律
a·a=0
a+a=1
重疊律
a·a=a
a+a=a
吸收律
a+ab=a
a·(a+b)=a
非非律
反演律（摩根定律）