ブール代数 数学において、集合や命題を考えるとき、両者には実は同一の性質・法則が成り立ってい ることに気がつく。 例 ド・モルガンの法則によれば、2つの集合 A,B に対して、 が成り立つ。このことと同様の事実が、2つの命題 p,q についても、成り立つ。 ¬(p∨q)=(¬p)∧(¬q) ¬(p∧q)=(¬p)∨(¬q) この事実もまた、ド・モルガンの法則と呼ばれる。(参考:数学の論理) ブール(Boole 1815~1864)は、このような類似性を一般化して、次のようなブール代数を 考案した。 集合 B には、異なる2つの要素 0、1 が含まれ、さらに、a+b , a*b ,a’ のような演算 が定義されているものとする。 任意の a、b、c ∈ B に対して、次の法則が成り立つとき、B は、ブール代数と呼ばれる。 (1)・・・交換律 a+b=b+a a*b=b*a (2)