Aljabar boolean adalah sistem aljabar yang berisi himpunan S dengan dua operasi
penjumlahan (+) dan perkalian (.) yang didefinisikan pada himpunan, sehingga
setiap elemen a, b, dan c dari S mempunyai sifat-sifat atau aksioma-aksioma
berikut:
Aksioma-aksioma
Aksioma-aksioma