Boolova Algebra - súhrn pravidiel a zákonov, ktoré umožňujú pracovať s logickými výrokmi ako s logickými premennými a funkciami formou algebraických operácií.
Vyjadrenie ľubovoľnej logickej funkcie pomocou troch základných funkcií:
Hľadisko - pravdivosti - 1,nepravdivosti - 0
Výrok - veta, pre ktorú ma zmysel otázka o jej pravdivosti alebo nepravdivosti.(Pr. vonku prší.)
Označenie výrokov- abecedné znaky Zložené výroky= jednoduché výroky spojené operačnými symbolmi (+, .,∪,∩, =,…).