Boolse Algebra, vernoem na George Boole (1815-1864), is 'n wiskundige model vir die bewerking van kombinasies van digitale eenhede. 'n Digitale eenheid het een van twee toestande: HOOG of LAAG. Dit word dikwels aangedui met 'n 1 of 0. Hierdie boolse algebra kom baie handig te pas by die ontwikkeling van rekenaar en ander digitale elektroniese sisteme soos kombinasielogika en sekwensiële logika. Boolse algebra word ook soms skakelalgebra genoem wannneer dit gebruik word in die analise van digitale stroombane. Die verskillende boolse algebra bewerkings, 'n voorbeeldvergelyking vir elk en die betekenis van elke bewerking word hieronder in Tabel 1 gegee. In elke voorbeeldvergelyking is F die uiset en A en B die twee insette. Enige boolse funksie kan in terme van die bogenoemde bewerkings uitgedruk word, vir enige hoeveelheid insette en bewerkings. 'n Waarheidstabel is 'n voorstelling van 'n boolse funksie waar die uiset gegee word vir alle kombinasies van die insette. 'n Waarheidstabel vir twee insette A en B word hieronder gegee vir al die bogenoemde funksies. Die aksiomas (of postulate) van 'n wiskundige stelsel is die minumum stel van basiese definisies wat as waar beskou word vanwaar alle ander inligting oor die stelsel afgelei kan word.