Algebra Boole'a

Algebra Boole'a – struktura algebraiczna stosowana w matematyce, informatyce teoretycznej oraz elektronice cyfrowej. Jej nazwa pochodzi od nazwiska angielskiego matematyka, filozofa i logika George'a Boole'a. Teoria algebr Boole'a jest działem matematyki na styku teorii porządków częściowych, algebry, logiki matematycznej i topologii.
Typowymi przykładami algebr Boole'a są: rodzina wszystkich podzbiorów ustalonego zbioru wraz działaniami na zbiorach jako operacjami algebry oraz dwuelementowa algebra wartości logicznych {0, 1} z działaniami koniunkcji, alternatywy i negacji.