邏輯運算的公式有許多，在表1中列出了五個常用公式，實際上，只要經(jīng)過證明的等式都可以在以后的變換和化簡時使用。
表1 常用公式
項目
常用公式
推論與證明
1
無
2
a+ab=a
a+ab+abc+…=a
3
a+ab=a+ab+ab=a+b
4
ab+ac+bc
=ab+ac+(a+a)cb
=ab+ac+abc+abc
=ab+ac
5
ab+ac=(a+c)(a+b)
(a+c)(a+b)
=ab+ac+bc+aa
=ab+ac
注：公式1、2為吸收律和分配律的應(yīng)用，公式3為多余因子定律，公式4為多余項定律，公式5為與或和或與轉(zhuǎn)換定律。