邏輯運(yùn)算的公式有許多，在表1中列出了五個(gè)常用公式，實(shí)際上，只要經(jīng)過(guò)證明的等式都可以在以后的變換和化簡(jiǎn)時(shí)使用。
表1 常用公式
項(xiàng)目
常用公式
推論與證明
1
無(wú)
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為多余項(xiàng)定律，公式5為與或和或與轉(zhuǎn)換定律。