Alajabar Boolean merupakan salah satu cabang dari ilmu matematika, pertama kali dikenalkan oleh seorang matematikawan dari inggris yaitu George Boole pada tahun 1854. Dalam buku The Laws of Thought, boole memaparkan aturan-aturan dasar logika yang kemudian dikenal dengan logika boolean.

Definisi Aljabar Boolean
Aljabar Boolean dapat didefinisikan secara abstrak dalam beberapa cara. Cara yang paling umum adalah dengan menspesifikasikan unsur-unsur pembentuknya dan operasi-operasi yang menyertainya.
Misalkan B adalah himpunan yang didefinisikan pada dua operator biner, + dan ., dan sebuah operator uner,'. Misalkan 0 dan 1 adalah dua elemen yang berbeda dari B. Maka, tupel 
 <B,+,.,',0,1> 
disebut aljabar boolean jika setiap a,b,c,d Є B berlaku aksioma (sering juaga dinamakan Postulat Huntington) berikut : 
1. Identitas 
   (i)  a+0=a 
   (ii) a.1=a 
2. Komutatif 
   (i)  a+b=b+a 
   (ii) a.b=b.a 
3. Distributif 
   (i)  a.(b+c)=(a.b)(a.c) 
   (ii) a+(b.c)=(a+b)(a+c) 
4. Komplement 
   Untuk setiap aЄB terdapat a'ЄB sehingga 
   (i)  a+a'=1 
   (ii) a.a'=0

elemen 0 dan 1 adalah dua elemen unik yang di dalam B. 0 disebut elemen terkecil dan 1 disebut elemen terbesar. Elemen 0 diseut dengan elemen zero dan elemen 1 disebut dengan elemen unit. Operator + disebut operator penjumlahan, . disebut operator perkalian dan ' disebut operator komplemen.

(bersambung)

Label: