Aljabar Boolean
Aljabar Boolean
Irwan Kurniawan, ST
Politeknik Jambi
ALJABAR BOLEAN
Dalam matematika dan ilmu komputer, Aljabar Boolean adalah struktur aljabar yang
"mencakup intisari" operasi logika DAN, ATAU dan TIDAK 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 bagian
dari sistem logika pada pertengahan abad ke-19.
Aljabar Boolean dapat digunakan untuk menganalisa suatu rangkaian logika dan
mengekspresikan operasinya secara matematik. Suatu rangkaian dapat direduksi menjadi
bentuk yang lebih sederhana dengan menggunakan teorema Boolean tertentu. Ekspresi
Boolean yang lebih sederhana ini dapat menggantikan ekspresi aslinya, karena nilainya yang
ekivalen.
Hukum hukum ALjabar Boolean
1. Hukum Komutatif
Hukum komutatif aljabar boolean memiliki kesamaan degan aljabar biasa. Berikut ini akan
kita lihat pemakaian hukum komutatif dalam gerbang-gerbang logika
Page | 1
2.
Hukum Asosiatif
Page | 2
3. Hukum Distributif
Gerbang AND dan OR dengan masukan tertentu, yaitu A, Bdan C, dapat disebarkan
tempatnya, dan dapat dirubah urutan-urutan sinyal-sinyal masukannya. Perubahan
tersebut tidak akan mengubah keluarannya.
Dalam persamaan boolean ditulis sebagai berikut:
. . .
Page | 3
A
A
-Kaidah Ketiga : A + A = A
A
A
A
-Kaidah Keempat :
-Kaidah Ketiga : A . A = A
Page | 4
- Kaidah Keempat : .
Sifat absorpsi
Untuk membuktikan sifat atau teorema ini perhatikan persamaan berikut:
1
. 1
. 1
berdasarkan sifat 1 1
lihat sifat . 1
lihat sifat 1
terbukti !
Kedua rangkaian logika diatas memiliki keluaran yang sama untuk kondisi masukan A
dan B yang sama.
Sifat Reduksi
Untuk membuktikan sifat atau teorema ini perhatikan persamaan berikut:
1
. 1
berdasarkan sifat 1 1
lihat sifat . 1
terbukti !
Page | 5
Teorema De Morgan
Teorema Pertama
.
Perhatikan persamaan gerbang logika NOR berikut
Dari rangkaian diatas dapat ditulis persamaan aljabar boolean sebagai berikut:
.
Karena kedua rangkaian diatas menghasilkan masukan dan keluaran yang ekivalen
atau sama maka dapat dinyatakan sebagai berikut:
.
-
Teorema Kedua
.
Perhatikan persamaan gerbang logika NAND berikut:
.
Page | 6
perhatikan rangkaian yang terdiri dari logika NOT dan gerbang logika OR berikut :
Page | 7