Aljabar Boolean adalah struktur aljabar yang "mencakup intisari" operasi logika AND, OR dan NOR dan juga teori himpunan untuk operasi union, interseksi dan komplemen. Penamaan Aljabar Boolean sendiri berasal dari nama seorang matematikawan asal Inggris,bernama George Boole. Dialah yang pertama kali mendefinisikan istilah itu sebagai bagiandari sistem logika pada pertengahan abad ke-19.
Boolean adalah suatu tipe data yang hanya mempunyai dua nilai. Yaitu true atau false (benaratau salah). Pada beberapa bahasa pemograman nilai true bisa digantikan 1 dan nilai falsedigantikan 0. Simbol yang digunakan pada aljabar Boolean itu sendiri adalah (.) untuk AND,(+) untuk OR dan ( ) untuk NOR.
