1. Distributivní komplementární svaz • Obsahuje alespoň dva prvky 2. Šestice (B, +, ·, ’, 0, 1) •„B” neprázdná množina s alespoň dvěma různými prvky •„+” logický součet (binární operace ) •„∙” logický součin (binární operace) •„’ ” komplement (unární operace) •„0” nejmenší (nulový) prvek (infimum) •„1” největší (jedničkový) prvek (supremum) •Definuje množinu prvků, množinu operátorů, axiomy (postuláty) a teorémy (věty) •Dvouhodnotová Booleova algebra •Axiomy a teorémy Booleovy algebry (1854) jsou definovány obecně •My se omezíme na dvouhodnotovou Booleovu algebru, ve které logické proměnné a výsledky logických funkcí mohou nabývat pouze hodnot 0 a 1 (0≠1)