ジョージ・ブールによって提唱された論理代数の定理．