布爾代數(shù)與主要運(yùn)算法則

　　在故障樹(shù)分析中常用邏輯運(yùn)算符號(hào)(·)、(+)將各個(gè)事件連接起來(lái)，這連接式稱為布爾代數(shù)表達(dá)式。在求最小割集時(shí)，要用布爾代數(shù)運(yùn)算法則，化簡(jiǎn)代數(shù)式。這些法則有：

　　①交換律 A·B=B·A

　　　　　　 A+B=B+A

　?、诮Y(jié)合律 A+(B+C)=(A+B)+C

　　　　　　 A·(B·C)=(A·B)·C

　?、鄯峙渎? A·(B+C)=A·B+A·C

　　　　　　 A+ (B·C)=(A+B)·(A+C)

　?、芪章? A·(A+B)=A

　　　　　　 A+A·B=A

　?、莼パa(bǔ)律 A+A′=Ω=1

　　　　　　 A·A′=0

　　⑥冪等律 A·A=A

　　　　　　 A+A=A

　?、叩夷Ω? (A+B)′=A′+B′

　　　　　　　　 (A·B)′=A′+B′

　?、鄬?duì)合律　　 (A′)′=A

　?、嶂丿B律　　 A+A′B=A+B=B′+BA