該法則起源於數學領域，是一個用於集合運算和邏輯運算的公式：〈B，∨，∧，¬ 〉。其中B爲一個非空集合，∨，∧爲定義在B上的兩個二元運算，¬爲定義在B上的一個一元運算。
透過布爾代數進行集合運算可以獲取到不同集合之間的交集、並集或補集，進行邏輯運算可以對不同集合進行與、或、非。
在故障樹分析中常用邏輯運算符號(·)、(+)將各個事件連接起來，這連接式稱爲布爾代數表達式。在求最小割集時，要用布爾代數運算法則，化簡代數式。這些法則有：
①交換律 A·B=B·A
A+B=B+A
②結合律 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
@tdxt90086
A+A·B=A
⑤互補律 A+A′=Ω=1
A·A′=0
⑥冪等律 A·A=A
A+A=A
⑦狄摩根定律 (A+B)′=A′+B′
(A·B)′=A′+B′
⑧對合律 (A′)′=A
⑨重疊律 A+A′B=A+B=B′+BA
布爾運算分爲求和，求差，求交。求和是把幾個實體合併成一個。求差是用其中一個實體減去另一個實體，求交是求出兩個實體重疊部分。
