Boolean algebra
Booleanova algebra je oblast matematiky, která se zabývá operacemi s logickými hodnotami, obvykle označovanými jako pravda (1) a nepravda (0). Tuto algebraickou strukturu poprvé formalizoval George Boole ve 19. století. Booleanova algebra se zakládá na třech základních operacích: AND (konjunkce), OR (disjunkce) a NOT (negace). Tyto operace umožňují vytvářet složitější logické výrazy a jsou základem pro analýzu a návrh digitálních obvodů, programování a hledání v databázích. Booleanova algebra také podporuje principy jako distributivitu, asociativitu a De Morganovy zákony, což umožňuje manipulaci s logickými výrazy a usnadňuje jejich zjednodušení a formální důkazy. Její aplikace se rozprostírá napříč různými oblastmi, včetně informatiky, elektroniky a matematické logiky.