x 、 • 交換則:x ∧ y = y ∧ x 、x ∨ y = y ∨ x 、 • 結合則:(x ∧ y)∧ z = x ∧(y ∧ z) 、(x ∨ y)∨ z = x ∨(y ∨ z) 、 • 吸収則:(x ∧ y)∨ x =x 、(x ∨ y)∧ x = x 、 • 分配則:(x ∨ y)∧ z = (x ∧ z)∨(y ∧ z) • (x ∧ y)∨ z = (x ∨ z)∧(y ∨ z) • さらにL の特別な元 0 ,1 と単項演算 ¬ について、以下が成 り立つとき <L; ∨, ∧, ¬> を可補分配束(ブール束)と呼ぶ。 • 補元則: x ∨ ¬x = 1, x ∧ ¬ x = 0。