イギリスの数学者 ブール(George Boole) が1854年の著書「思考の法則に関する研究」で提唱した記号論理学を ブール代数(Boolean algebra) と呼び、 1 または 0 の2値のみをもつ変数を用いる論理である。

2値代数、2値論理数学、ディジタル代数、スイッチング代数などとも呼ばれる。

環 (数学)