Bool algebra

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:

• mindkét művelet asszociativ és kommutativ
• a két művelet egymásra nézve abszorbtiv és disztributiv
• és

• igazsághalmazok a logikai és, vagy és negáció művelettel
• halmaz hatványhalmaza a metszet, unió és komlementer műveletekkel
• egy eseménytér eseményei az összeadás, szorzás és komlementer műveletekkl