Boolsk algebra, matematisk modell for logikk som vert nytta innan symbolsk logikk, sannsynsrekning og IT. Feltet har namn etter den britiske matematikaren George Boole, som i avhandlinga si An Investigation of the Laws of Thought frå 1854, undersøker korleis ein kan bruke matematikk for å analysere og systematisere sanningsutsegn.