論理代数、論理数学のこと。ある命題が真であるか、偽であるか、またその命題を組み合わせたものが真であるか、偽であるかを、真を１、偽を０に対応させて論理学上の体系を代数的に取り扱ったもの。