Aljabar boolean merupakan aljabar yang berhubungan dengan variabel-variabel biner dan operasi- operasi logik. Variabel-variabel diperlihatkan dengan huruf-huruf alfabet, dan tiga operasi dasar dengan AND, OR dan NOT (komplemen). Fugsi boolean terdiri dari variabel- variabel biner yang menunjukan fungsi, suatu tanda sama dengan, dan suatu ekspresi aljabar yang dibentuk dengan menggunakan variabel-variabel biner, konstanta- konstanta 0 dan 1, simbol- simbol operasi logik, dan tanda kurung.
Aljabar boolean mempunyai 2 fungsi berbeda yang saling berhubungan. Dalam arti luas, aljabar boolean berarti suatu jenis simbol- simbol yang di temukan oleh George Boole untuk memanipulasi nilai- nilai kebenaran logika secara aljabar. Dalam hal ini aljabar boolean cocok untuk di aplikasikan dalam komputer. Disisi lain, aljabar boolean juga merupakan suatu struktur aljabar yang operasi- operasinya memenuhi aturan tertentu.
Dasar Operasi logika
Logika:
Memberikan batasan yang pasti dari suatu keadaan, sehingga suatu keadaan tidak dapat berada dalam dua ketentuan sekaligus.
Dalam aljabar boolean keadaan ini ditunjukkan dengan dua konstanta yakni LOGIKA ‘1’ dan ‘0’ .
Dalil Boolean:
1. X=0 ATAU X=1
2. 0.0 = 0
3. 1 + 1 = 1
4. 0 + 0 = 0
5. 1 . 1 = 1
6. 0 . 1 = 0 . 1 = 0
7. 0 + 1 = 1 + 0 = 0