Aljabar boolean, adalah sistem aljabar himpunan atau proposisi yang memenuhi aturan-aturan ekivalen logis.
Misalkan B dengan operasi + (OR) dan * (AND), atau suatu komplemen, dan dua elemen yang beda 0 dan 1 yang didefinisikan pada himpunan atau proposisi, sehingga a,b dan c merupakan elemen B yang mempunyai sifat-sifat identitas, komutatif, distributif dan komplemen.
Misalkan F dengan operasi + (OR) dan ● (AND), atau suatu komplemen (‘), dan dua elemen yang beda 0 dan 1 yang didefinisikan pada himpunan atau proposisi, sehingga a,b dan c merupakan elemen B yang mempunyai sifat-sifat identitas, komutatif, distributif dan komplemen.
Fungsi Aljabar Boolean :
