A Boole-algebra egy A halmaz, melynek van legalább két eleme, az 1 és a 0, ellátva a kétváltozós vagy (), illetve és ( művelettel továbbá a negáció egyváltozós művelettel, melyet komplementerképzésnek nevezünk, ha: