Booleova algebra je algebraická struktura se dvěma binárními a jednou unární operací, která zobecňuje vlastnosti množinových a logických operací. Je nazvána podle britského matematika George Boolea. Mimo oblast algebry se pojem Booleova algebra zužuje na dvouprvkovou Booleovu algebru[1] a používá se pro reprezentaci pravdivostních hodnot a logických funkcí. Klíčový význam mají Booleovy algebry také pro metodu forsingu.