رياضيات, علم الحاسوب, منطق, نظرية المجموعات, هندسة الحاسوبالجبر البولياني معرفًا بشكل نموذجي (Boolean Algebras Canonicall Defined)