====== 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 (<m>logicalor</m>), illetve és (<m>logicaland</m> művelettel továbbá a negáció egyváltozós művelettel, melyet komplementerképzésnek nevezünk, ha:

  * mindkét művelet [[oktatas:matematika:algebra:asszociativ]] és [[oktatas:matematika:algebra:kommutativ]]
  * a két művelet egymásra nézve [[oktatas:matematika:algebra:abszorbtiv]] és [[oktatas:matematika:algebra:disztributiv]]
  * <m>a logicalor overline{a} = 1</m> és <m> a logicaland overline{a} = 0</m>

===== Példák =====

  * 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