ALJABAR BOOLEAN
Matematika Diskrit
Senin, 18-3-2013
Pokok Bahasan
1.
2.
3.
4.
5.
6.
Definisi
Hukum-Hukum aljabar boolean
Fungsi boolean
Ekspresi boolean
Komplemen fungsi
Rangkaian logika
1. Definisi
Fungsi aljabar boolean
a. Suatu jenis simbol-simbol yang ditemukan
George Boole untuk manipulasi nilai kebenaran
logika. Cocok untuk aplikasi komputer.
b. Struktur aljabar & hukum-hukum di dalamnya
c. Review slide Logika Informatika
1.a. Aljabar Boole sebagai Aljabar
Didefinisikan sebagai suatu himpunan dengan:
, , ¬ (atau ‘) serta “0” dan “1”. Atau...
(B, , , ¬, 0, 1) atau (B, , , ‘ , 0, 1)
Review hukum-hukum logika (komutatif,
asosiatif, distributif, identitas, negasi)
Simbol ditulis “+”
Simbol ditulis “.” atau tidak ditulis sama
sekali
Teorema 1
Teorema yang diturunkan dari aturan aljabar
Boole (B, , , ¬, 0, 1) dan x, y, x’, y’ Є B
berlaku :
a. Idempoten
b. Ikatan/null/dominasi
c. Absorbsi (penyerapan)
d. De Morgan
Teorema 2
Dalam suatu aljabar Boole (B, , , ¬, 0, 1),
elemen 0 dan 1 adalah tunggal
Teorema 3
Untuk setiap elemen x (B, , , ¬, 0, 1),
terdapatlah dengan tunggal x’ yang memenuhi
hukum negasi
2. Fungsi Boolean
Mis B = (B, , , ¬, 0, 1): aljabar Boole
Suatu fungsi Boole n variabel adalah fungsi
f: Bn → B
Fungsi Boole sederhana jika B = {0,1}.
Jadi f: {0,1}n → {0,1}
Input: {0,1}n. Output: {0,1}
3. Ekspresi Boole
Ekspresi Boole dalam n buah variabel
x1, x2,…, xn didefinisikan secara rekursif
sebagai berikut:
a. 0 dan 1: ekspresi Boole
b. x1, x2,…, xn masing-masing adalah ekspresi Boole
c. Jika E1 dan E2 adalah ekspresi Boole, maka
E1 E2, E1 E2, E1’ adalah ekspresi Boole.
4. Komplemen Fungsi
1. Gunakan hukum De Morgan
2. Gunakan prinsip dualitas
Prinsip Dualitas
Mis: S adalah kesamaan di dalam aljabar Boole
yang melibatkan operator +, . , dan komplemen,
maka jika S* diperoleh dengan mengganti
operator dan membiarkan komplemen tetap ada,
maka kesamaan S* juga benar.
S* disebut dual dari S
Ilustrasi dari buku fiksi berjudul Ching Hua Yuan
(Flowers in the Mirror) ditulis oleh Li Ju-Chen
(1763-1830)
5. Rangkaian Logika
a.
b.
c.
d.
e.
f.
g.
h.
i.
j.
Saklar buka
Saklar tutup
Rangkaian seri
Rangkaian paralel
Gerbang pembalik/Not/Inverter
Gerbang AND
Gerbang OR
Gerbang XOR
Gerbang NOR
Gerbang NAND