ブール代数

ジョージ・ブールによって体系化されたブール代数は、現代のコンピュータ工学の礎となっている。

集合論とブール代数の間には深い対応関係があり、数学的に非常に美しい構造を持っている。

「ブール代数の基本法則を使えば、この長い式をここまで短くできるんだよ」と先輩が教えてくれた。