'''Boole'i algebra''' on [[algebrahulk]] alamhulk, milles on defineeritud kaks [[kommutatiivsus|kommutatiivset]], [[assotsiatiivsus|assiotsiatiivset]], teineteise suhtes [[distributiivsus|distributiivset]] ja [[neelduv]]at [[binaarne tehe|binaarset tehet]], mida nimetatakse [[konjunktsioon]]iks (tähis ∧) ning [[disjunktsioon]]iks (tähis ∨), ja [[Involutsioon (matemaatika)|involutsioon]], mis kannab nime eitus [[eitus (loogika)|eitus]] või täiend (tähis ¬).<ref name="Kaasik2002"> Kaasik, Ü. (2002). ''Matemaatikaleksikon''. Tartu. </ref>
Erinevalt tavalisest algebrast on muutujate väärtusteks nende tõeväärtused - tõene või väär. Kombe kohaselt kirjutatakse tõese puhul 1 ja väära puhul 0.