Lo Gmat
Lo Gmat
A
A
A A A A
A
Jika diinterpretasikan sebagai aljabar boolean maka kedua elemen pada aljabar himpunan
berkorespodensi dengan elemen pada aljabar Boolean yaitu 0 dan 1
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 8
Operasi-operasi dasar dalam Aljabar Boolean dengan 2 elemen yaitu : 0 dan 1
0 1 0 1
0 0 1 0 0 0
1 1 1 1 0 1
+
Operasi-operasi dasar dalam Logika (Kalkulus Proposisi) melibatkan elemen False dan
True
False True False True
False False True False False True
True True True True False True
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 9
1.6 SOAL LATIHAN
1. Tentukan Elemen dari Himpunan A = {x | x
2
= 11x 30 OR 4 x > 0}, dimana U
adalah :
a. Himpunan Bilangan Riil
b. Himpunan Bilangan Bulat
c. Himpunan Bilangan Bulat positif
d. Himpunan Bilangan Bulat negatif
e. Himpunan Bilangan Bulat positif kurang dari 10
2. Tentukan Symmetric Difference dari pasangan himpunan berikut ini :
a. A = {2, 5, 8} B = {1,2, 5, 10}
b. A = {1, 3, 5 } B = {1, 2, 4, 7}
c. A = {a, *, $ } B = {1, 2, 3}
d. A = B = {a, *, $ }
e. A = {1, 3, 5 } B = {2, 4, 6}
3. Tunjukkan persamaan berikut ini dengan menggunakan Diagram Venn :
a. A (B C) = (A B) C
b. A (B C) = (A B) (A C)
c. A (B C) = (A B) (A C)
d. A (B C) = (A B) (A C)
4. Diketahui :
A B = {0, 3}
A B = {0, 1, 3, 5, 6}
A B = {0, 1, 2, 3, 5, 6, 7, 11}
Tentukan Elemen dari Himpunan A dan Himpunan B !
5. Diketahui :
A B = {1, 5, 7, 8}
B A = {2, 10}
A B = {3, 6, 9}
Tentukan Elemen dari Himpunan A dan Himpunan B !
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 10
BAB II
ALJABAR BOOLEAN
2.1 DEFINISI
Aljabar Boolean adalah sistem aljabar yang berisi Himpunan Semesta (set S) dengan dua
operasi penjumlahan (+) dan perkalian (.) yang didefinisikan pada set itu sehingga
memenuhi ketentuan berikut ini :
Aturan A
1
sampai dengan A
5
, M
1
sampai M
3
, M
5
, D
1
, dan D
2
Setiap elemen adalah idempotent, yaitu Jika a S, maka a.a = a
setiap elemen a, b, c dari S mempunyai sifat-sifat atau aksioma-aksioma berikut ini :
2
A
1
a + b S < closure >
M
2
a.b S < closure >
A
2
a + (b + c) = (a + b) + c < asosiatif >
M
2
a . (b.c) = (a.b).c < asosiatif >
A
3
Jika 0 S maka untuk setiap a S,
adalah a + 0 = 0 + a = a
< identitias >
M
3
Jika 1 S maka untuk setiap a S,
Adalah a . 1 = 1 . a = a
< identitas >
A
5
a + b = b + a < komutatif >
M
5
a.b = b.a < komutatif >
D
1
a.(b+c) = a.b + a.c < distributif >
D
2
(a + b) . c = a.c + b.c < distributif >
D
3
a + (b.c) = (a + b) . (a + c) < distributif >
D
4
(a.b) + c = (a + c) . ( b + c) < distributif >
C
1
Untuk setiap a S, dan a S, maka a + a =
1 dan a . a = 0
< komplemen >
2.2 PRINSIP DUALITAS
Teorema 2.1
Untuk setiap elemen a, berlaku : a + a = a dan a . a = a
Bukti
a + a = (a+a) (1) identitas
= (a+a) (a+a) komplemen
= a + (a.a) distributif
= a + 0 komplemen
= a identitas
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 11
a.a = a.a + 0 identitas
= a.a + a.a komplemen
= a. (a.a) distributif
= a.1 komplemen
= a identitas
Teorema 2.2
Untuk setiap elemen a, berlaku : a + 1 = 1 dan a . 0 = 0
Bukti
a + 1 = a + (a+a) komplemen
= (a+a) + a asosiatif
= a+a teorema 1a
= 1 komplemen
a . 0 = a.(a.a) komplemen
= (a.a).a asosiatif
= a.a idempoten
= 0 komplemen
Teorema 2.3 (Hukum Penyerapan)
Untuk setiap elemen a dan b, berlaku : a + a.b = a dan a.(a+b) = 1
Bukti
a+ab = a.1 + a.b Identitas
= a . (1+b) distributif
= a + 1 teorema 2a
= a identitas
a. (a+b)= a.a + a.b distributif
= a+ab idempoten
= a.1 + ab identitas
= a. (1+b) distributif
= a.1 teorema 2a
= a identitas
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 12
Teorema 2.4 (Hukum de Morgan)
Untuk setiap elemen a dan b, berlaku : (a.b) = a + b dan (a+b) = ab
Bukti
(a.b) = a + b
Diketahui : (ab) (ab) = 0
Diperlihatkan : (ab) (a+b) = 0
(ab) (a+b) = aba + abb distributif
= 0.b + a.0 komplemen
= 0 + 0 teorema 2b
= 0 identitas
(a + b) = ab
Diketahui : (ab) + (ab) = 1
Diperlihatkan : ab + a + b = 1
ab + (a + b) = ( a + a + b) (b + a + b)
Teorema 2.5
0 = 1 dan 1 = 0
Teorema 2.6
Jika suatu Aljabar Boolean berisi paling sedikit dua elemen yang berbeda,
maka 0 1
Definisi
x dan y adalah elemen-elemen dari aljabar Boolean. Dinyatakan bahwa:
x lebih kecil daripada y (x<= y) jika dan hanya jika x + y = y
Teorema 2.7
< = adalah suatu bagian dari urutan
Bukti
Dari Teorema 2.1 : x + x = x, sehingga x < = x
Jika x < = y, maka x + y = y
Jika y < = x, maka x = y = y + x = x
Sehingga jika x < = y dan y < = x, maka x = y
Dapat disimpulkan :
x < = y dan y < = z, maka x + y = y dan y + z = z
x + z = x + (y + z) = (x + y) + z = y + z = z
Sehingga x < = z
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 13
Teorema 2.8
Jika x, y, dan x adalah elemen-elemen dari aljabar Boolean, maka < = mempunyai sifat-
sifat berikut ini :
Jika x < = y dan x < = z, maka x < = yz
Jika x < = y, maka x < = y + z untuk elemen z
Jika x < = y, maka xz < = y untuk elemen z
x < = y jika dan hanya jika y < = x
Bukti
x + y = y dan x + z = z, sehingga x + yz = (x + y)(x + z) = yz
Jika x + y = y, maka x + (y+z) = (x+y)+z = y + z
Dengan hukum penyerapan, xz + x = x atau xz < = x
x < = y maka x + y = y dan y = (x+y)
Sehingga y + x = (x+y) + x = ((x+y)x) dengan hukum penyerapan
Konversi (x) = x
2.3 FUNGSI BOOLEAN
Misalkan x
1
, x
2
, x
3
, , x
n
merupakan variabel-variabel aljabar Boolean. Fungsi Boolean
dengan n variable adalah fungsi yang dapat dibentuk dari aturan-aturan berikut :
1. Fungsi Konstan
f(x
1
, x
2
, x
3
, , x
n
) = a
2. Fungsi Proyeksi
f(x
1
, x
2
, x
3
, , x
n
) = x
i
I = 1, 2, 3, , n
3. Fungsi Komplemen
g(x
1
, x
2
, x
3
, , x
n
) = (f(x
1
, x
2
, x
3
, , x
n
))
4. Fungsi Gabungan
h(x
1
, x
2
, x
3
, , x
n
) = f(x
1
, x
2
, x
3
, , x
n
) + g(x
1
, x
2
, x
3
, , x
n
)
h(x
1
, x
2
, x
3
, , x
n
) = f(x
1
, x
2
, x
3
, , x
n
) . g(x
1
, x
2
, x
3
, , x
n
)
Catatan
Fungsi identitas : fungsi proyeksi satu variabel, dimana f(x) = x
Teorema 3.1
Jika f adalah fungsi Boolean dengan satu variabel, maka untuk semua nilai x, adalah
f(x) = f(1) x + f(0)x
Untuk kemungkinan bentuk f :
Kemungkinan 1 :
f adalah fungsi konstan, f(x) = a
f(1)x + f(0)x = ax + ax = a(x+x) = a1 = a = f(x)
Kemungkinan 2 :
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 14
f adalah fungsi identitas
f(1)x + f(0)x = 1x + 0x = x + 0 = x = f(x)
Kemungkinan 3 :
g(x) = (f(x))
g(x) = (f(x)) = (f(1)x + f(0)x)
= (f(1)x) + (f(0)x)
= ((f(1)) + x) ((f(0)) + x)
= (f(1)) (f(0)) + (f(1)) x + (f(0)) x + xx
= (f(1)) (f(0)) (1) + (f(1)) x + (f(0)) x
= (f(1)) (f(0)) (x + x) + (f(1)) x + (f(0)) x
= (f(1)) (f(0)) x + (f(1)) x + (f(1)) (f(0)) x + (f(0)) x
= (f(1)) x + (f(0)) x (Hukum Penyerapan)
= g(1)x + g(0)x
Kemungkinan 4 :
h(x) = f(x) + g(x)
h(x) = f(x) + g(x) = f(1)x + f(0)x + g(1)x + g(0) x
= (f(1) + g(1)) x + (f(0) + g(0)) x
= h(1) x + h(0) x
Kemungkinan 5 :
k(x) = f(x) g(x)
k(x) = f(x) g(x) = (f(1) x + f(0)x) (g(1)x +g(0)x)
= f(1)g(1)xx + f(1)g(0)xx + f(0)g(1)xx + f(0)g(0)xx
= f(1) g(1) x + f(0)g(0) x
= k(1)x + k(0)x
Bentuk diatas adalah bentuk standar fungsi Boolean satu variabel. Dengan cara yang sama,
jika f adalah fungsi Boolean dengan dua variabel, maka untuk nilai x dan y bentuk
standarnya adalah sebagai berikut :
f(x,y) = f(1,1) xy + f(1,0) xy + f(0,1) xy + f(0,0) xy
2.4 BENTUK FUNGSI BOOLEAN
Suatu fungsi Boolean dapat dinyatakan dalam bentuk yang berbeda tetapi memiliki arti
yang sama.
Contoh :
f
1
(x,y) = x . y f
2
(x,y) = (x + y)
f
1
dan f
1
merupakan bentuk fungsi boolean yang sama, yaitu dengan menggunakan Hukum
De Morgan.
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 15
Nilai Fungsi
Fungsi Boolean dinyatakan nilainya pada setiap variabel yaitu pada setiap kombinasi (0,1).
Contoh : Fungsi Boolean
f(x,y) = xy + xy + y
x y xy xy y f(x,y)
0 0 0 0 1 1
0 1 1 0 0 1
1 0 0 1 1 1
1 1 0 0 0 0
Cara Representasi
Terdapat dua cara merepresentasikan fungsi Boolean yakni dengan cara : aljabar dan table
kebenaran. Untuk dapat memahami penggunaannya, perhatikanlah contoh di bawah ini :
Contoh : Fungsi f(x,y,z) = xyz
1. Aljabar
Representasi secara aljabar adalah f(x,y,z) = xyz
2. Dengan menggunakan Tabel Kebenaran
Dengan menggunakan Tabel Kebenaran, sbb :
x y z xyz
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 0
1 0 1 0
1 1 0 1
1 1 1 0
Jumlah elemen dalam tabel kebenaran adalah jumlah kombinasi dari nilai variabel-
variabelnya, yaitu sejumlah 2
n
, dimana n adalah banyaknya variabel biner.
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 16
Konversi dari Tabel Kebenaran
x y z f(x,y,z)
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 0
1 1 1 1
1). f
1
(x,y,z) = xyz + xyz + xyz SOP
= m
1
+ m
4
+ m
7
f
1
(x,y,z) = xyz + xyz + xyz + xyz + xyz
2). f
2
(x,y,z) = (x+y+z) (x+y+z)(x+y+z)(x+y+z) (x+y+z) POS
= (f
1
(x,y,z))
= M
0
M
2
M
3
M
5
M
6
F = m1 + m 4 + m7 = M0 . M2 . M3 . M5 . M6
x y z f(x,y,z)
0 0 0 1
0 0 1 1
0 1 0 1
0 1 1 1
1 0 0 1
1 0 1 0
1 1 0 1
1 1 1 0
f
1
(x,y,z) = xyz + xyz + xyz + xyz + xyz + xyz
= m0 + m1 + m2 + m3 + m4 + m6
f
1
(x,y,z))
= M5 . M7
F = m0 + m 1 + m2
+ m3 + m4 + m6 = M5 . M7
Bentuk (1) dan (2) merupakan fungsi/bentuk standar, yaitu fungsi yang literalnya ditulis
lengkap pada tiap suku.
Bentuk pertama (1) disebut SOP (Sum Of Product) / Minterm
Bentuk kedua (2) disebut POS (Product Of Sum) / Maxterm
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 17
Fungsi Boolean yang diekspresikan dalam bentuk SOP atau POS disebut fungsi/bentuk
Kanonik.
2.5 BENTUK STANDAR/KANONIK FUNGSI BOOLEAN
Jika f adalah fungsi boolean satu variabel maka untuk semua nilai x berlaku :
Jika f adalah fungsi boolean dua variabel maka untuk semua nilai x berlaku :
Bentuk Standar dan Bentuk Kanonik
2 variabel :
x y
Minterm Maxterm
Term Nilai Term nilai
0 0 xy m
0
x + y M
0
0 1 xy m
1
x + y M
1
1 0 xy m
2
x + y M
2
1 1 xy m
3
x + y M
3
3 variabel
x y z
Minterm Maxterm
Term Nilai Term Nilai
0 0 0 xyz m
0
x + y + z M
0
0 0 1 xyz m
1
x + y + z M
1
0 1 0 xyz m
2
x + y + z M
2
0 1 1 xyz m
3
x + y + z M
3
1 0 0 xyz m
4
x + y + z M
4
1 0 1 xyz m
5
x + y + z M
5
1 1 0 xyz m
6
x + y + z M
6
1 1 1 xyz m
7
x + y + z M
7
f(x) = f(1) . x + f(0) . x
f(x,y) = f(0,0) . xy + f(0,1) . xy + f(1,0) . xy + f(1,1) . xy
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 18
2.6 KONVERSI KE BENTUK STANDAR DAN KANONIK
1. Cari bentuk standar dari f(x,y) = x
Jawab :
f(x,y) = x . 1 identitas
= x . (y+y) komplemen
= xy + xy distributif
= m(0, 1)
Bentuk Standar : f(x,y) = xy + xy bentuk SOP
Bentuk Kanonik : f(x,y) = m(0, 1)
dengan mj = Mj
f(x,y) = x . 1 identitas
= x .(y+y) komplemen
= xy + xy distributif
(f(x,y))= (x+y)(x+y)
= M(2, 3)
Bentuk Standar : f(x,y) = (x+y)(x+y) bentuk POS
Bentuk Kanonik : f(x,y) = M(2, 3)
2. Cari bentuk standar dari f(x,y,z) = y + xy + xyz
Jawab :
f(x,y,z) = y + xy + xyz lengkapi literal pada tiap suku
= y(x+x)(z+z) + xy(z+z) + xyz
= (xy + xy)(z+z) + xyz + xyz + xyz
f(x,y,z) = xyz + xyz + xyz + xyz + xyz + xyz + xyz
= m5 + m4 + m1+ m0 + m7 + m6 + m2
SOP
Bentuk Standar : f(x,y,z) = xyz + xyz + xyz + xyz + xyz + xyz + xyz
Bentuk Kanonik : f(x,y) = m(0, 1, 2, 4, 5, 6, 7)
atau
POS
Bentuk Standar : f(x,y,z) = x + y + z
Bentuk Kanonik : f(x,y) = M(3)
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 19
3. Cari bentuk Kanonik dari : f(x,y) = xy + xy
Jawab :
Tabel Nilainya
x y
Minterm Maxterm
Term Nilai Value Term Nilai Value
0 0 xy m
0
0 x + y M
0
0
0 1 xy m
1
1 x + y M
1
1
1 0 xy m
2
1 x + y M
2
1
1 1 xy m
3
0 x + y M
3
0
Dari tabel :
Nilai 1 : Minterm (SOP) : f(x,y) = m1 + m2 = m(1, 2)
Nilai 0 : Maxterm (POS) : f(x,y) = M0 . M3 = M(0, 3)
Cara Konversi :
f(x,y) = xy + xy = m0 + m3 dari tabel
dual-nya
(f(x,y)) = (x+y)(x+y)
f(x,y) = (x+y) (x+y) = M0 . M3 dari tabel
4. Cari Bentuk Kanonik dari : f(x,y,z) = xyz + xyz + xyz
Jawab :
Tabel Nilainya
x y z Minterm Maxterm f(x,y,z)
0 0 0 xyz x + y + z 0
0 0 1 xyz x + y + z 1
0 1 0 xyz x + y + z 0
0 1 1 xyz x + y + z 0
1 0 0 xyz x + y + z 1
1 0 1 xyz x + y + z 0
1 1 0 xyz x + y + z 0
1 1 1 xyz x + y + z 1
Jadi f(x,y,z) = m1 + m4 + m7 = m(1, 4, 7)
= M0 . M2 . M3 . M5. M6 = M(0, 2, 3, 5, 6)
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 20
Cara konversi :
Dari tabel kebenaran diperoleh :
f(x,y,z) = xyz + xyz + xyz + xyz + xyz
dual :
(f(x,y,z)) = (x+y+z)(x+y+z)(x+y+z)(x+y+z)(x+y+z)
f(x,y,z) = (x+y+z)(x+y+z)(x+y+z)(x+y+z)(x+y+z) dari tabel
2.7 KONVERSI KE BENTUK SOP
1. Nyatakan Fungsi Boolean f(x,y,z) = x + yz dalam SOP
Jawab :
Lengkapi literal untuk setiap suku agar sama
f(x,y,z) = x . (y+y).(z+z) + (x+x) . yz
= (xy+xy)(z+z) + xyz + xyz
= xyz + xyz + xyz + xyz + xyz + xyz
= xyz + xyz + xyz + xyz + xyz
= m7 + m6 + m5 + m4 + m1
= m(1, 4, 5, 6, 7)
2. Nyatakan Fungsi Boolean f(x,y,z) = xyz + xz + yz dalam SOP
Jawab :
Lengkapi literal untuk setiap suku agar sama
f(x,y,z) = xyz + xz + yz
= xyz + x. (y+y) . z + (x+x) . yz
= xyz + xyz + xyz + xyz + xyz
= m1 + m3 + m5 + m7
= m(1, 3, 5, 7)
3. Nyatakan Fungsi Boolean f(w,x,y,z) = wxy + yz + xy dalam SOP
Jawab ;
Lengkapi literal untuk setiap suku agar sama
f(w,x,y,z) = wxy + yz + xy
= wxy . (z+z) + (w+w)(x+x) . yz + (w+w) . xy . (z+z)
= wxyz + wxyz + (wx+wx+wx+wx)yz + (wxy+wxy)(z+z)
= wxyz + wxyz + wxyz + wxyz + wxyz + wxyz + wxyz +
wxyz + wxyz + wxyz
= wxyz + wxyz + wxyz + wxyz + wxyz + wxyz
= m(3, 6, 7, 10, 14, 15)
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 21
2.8 KONVERSI KE BENTUK POS
1. Nyatakan Fungsi Boolean f(x,y,z) = x y+ xz dalam POS
Jawab :
a) Bentuk fungsi ke POS
f(x,y,z) = xy + xz
= (xy + x)(xy + z) distributif
= (x + x)(y + x)(x + z)(y + z) distributif
= (x + y)(x + z)(y + z) komplemen, identitas
b) Lengkapi literal untuk setiap suku agar sama
Suku-1 x + y = x + y + z z
= (x + y + z)(x + y + z)
Suku-2 x + z = x + z + yy
= (x + y + z)(x + y + z)
Suku-3 y + z = xx + y + z
= (x + y + z)(x + y + z)
c) Semua suku dengan literal lengkap :
f(x,y,z) = (xy + x)(xy + z)
= (x + x)(y + x)(x + z)(y + z)
= (x + y)(x + z)(y + z)
= (x+y+z)(x+y+z)(x+y+z)(x+y+z)(x+y+z)(x+y+z)
= (x+y+z)(x+y+z)(x+y+z)(x+y+z)
= M0 . M2 . M4 . M5
= M(0, 2, 4, 5)
2. Nyatakan Fungsi Boolean f(x,y,z) = (x+z)(y+z) dalam POS
Jawab :
Fungsi Boolean asumsi sudah dalam bentuk POS
f(x,y,z) = (x+z)(y+z) lengkapi literal pada tiap suku
= (x+yy+z)(xx+y+z) Identitas, Komplemen
= (x+y+z)(x+y+z)(x+y+z)(x+y+z) distributif
= M0 . M2 . M3 . M7
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 22
2.9 PENYEDERHANAAN FUNGSI BOOLEAN
Fungsi Boolean dapat diimplementasikan menjadi sebuah rangkaian logika. Dimana
rangkaian logika terdiri atas gerbang-gerbang logika, contoh gerbang AND (Perkalian),
gerbang OR (Penjumlahan) dan gerbang INVERTER (Komplemen).
Salah satu tujuan dari menyederhanakan Fungsi Boolean adalah untuk meminimasi
penggunaan gerbang-gerbang logika pada saat implementasi sehingga membentuk sebuah
rangkaian logika. Penyederhanaan Fungsi Boolean menghasilkan bentuk Fungsi yang
berbeda (lebih sederhana) tetapi menghasilkan nilai fungsi yang sama.
Asumsi yang dipakai dalam penyederhanaan :
1. Bentuk fungsi Boolean paling sederhana adalah SOP
2. Operasi yang digunakan adalah operasi penjumlahan (+), perkalian (.) dan
komplemen ()
Terdapat tiga cara dalam penyederhanaan fungsi Boolean :
1. Cara Aljabar
Bersifat trial and error tidak ada pegangan
Dalam menyederhanakannya menggunakan aksioma-aksioma dan teorema-
teorema yang ada pada aljabar Boolean.
2. Peta Karnaugh
Mengacu pada Diagram Venn
Menggunakan bentuk-bentuk peta karnaugh
a). KMap 2 variabel
0 1 0 1
0 xy xy 0 m0 m1
1 xy xy 1 m2 m3
b) KMap 3 variabel
00 01 11 10 00 01 11 10
0 xyz xyz xyz xyz 0 m0 M1 m3 m2
1 xyz xyz xyz xyz 1 m4 M5 m7 m6
x
y
x
y
x
yz
x
yz
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 23
c) KMap 4 variabel
00 01 11 10 00 01 11 10
00 wxyz wxyz wxyz wxyz 00 m0 m1 m3 m2
01 wxyz wxyz wxyz wxyz 01 m4 m5 m7 m6
11 Wxyz wxyz wxyz wxyz 11 m12 m13 m15 m14
10 wxyz wxyz wxyz wxyz 10 m8 m9 m11 m10
3. Metode Quine-McCluskey
Penyederhanaan didasarkan pada hukum distribusi
Eliminasi Prime Implicant Redundan
Tahapannya :
1. Nyatakan variabel komplemen dengan 0, sebaliknya 1
2. Kelompokkan suku-suku berdasarkan jumlah 1
3. Kombinasikan suku-suku tersebut dengan kelompok lain yang jumlah 1 nya
berbeda satu diperoleh bentuk prime yang lebih sederhana
Selanjutnya :
1. Mencari prime-implicant, term yang menjadi calon yang terdapat dalam fungsi
sederhana
2. Memilih prime-implicant yang mempunyai jumlah literal paling sedikit
2.9.1 CARA ALJABAR
1. Sederhanakanlah fungsi Boolean f(x,y) = xy + xy + xy
Jawab :
f(x,y) = xy + xy + xy
= xy + x . (y+y) Distributif
= xy + x . 1 Komplemen
= xy + x Identitas
= (x+x)(x+y) Distributif
= 1 . (x+y) Komplemen
= x + y Identitas
wx
yz
wx
yz
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 24
2. Sederhanakanlah fungsi Boolean dibawah ini :
f(x,y,z) = xyz + xyz + xyz + xyz + xyz + xyz
Jawab :
f(x,y,z) = xyz + xyz + xyz + xyz + xyz + xyz
= x.(yz+yz+yz+yz) + x . (yz+yz) Distributif
= x.((y(z+z) + y(z+z)) + x . ((y+y)z) Distributif
= x.(y .1 + y.1) + x(1 . z) Komplemen
= x.(y+y) + xz Identitas
= x .1 + xz Komplemen
= x + xz Identitas
= (x+x)(x+z) Distributif
= 1. (x+z) Komplemen
= x + z Identitas
3. Sederhanakanlah fungsi Boolean : f(x,y,z) = xy + xyz + y(x+z) + yz
Jawab :
f(x,y,z) = xy + xyz + y(x+z) + yz
= x(y+yz) + y(x+z) + yz Distributif
= x((y+y)(y+z)) + xy + yz + yz Distributif
= x( 1 . (y+z)) + xy + yz + yz Komplemen
= x . (y+z) + xy + yz + yz Identitas
= xy + xz + xy + yz + yz Distributif
= y(x+x) + xz + yz + yz Distributif
= y . 1 + xz + yz + yz Komplemen
= y + xz + yz + yz Identitas
= (y+y)(y+z) + xz + yz Distributif
= 1.(y+z) + xz + yz Komplemen
= y + yz + xz + z Identitas
= y (1 + z) + (x+z)(z+z) Distibutif
= y . 1 + (x+z)(z+z) Teorema 2
= y + (x+z)(z+z) Identitas
= y + (x + z) . 1 Komplemen
= x + y + z Identitas
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 25
2.9.2 PETA KARNAUGH
1. Sederhanakanlah persamaan f(x,y) = xy + xy + xy = m1 + m2 + m3
Jawab :
Sesuai dengan bentuk minterm, maka 3 kotak dalam KMap 2 dimensi, diisi dengan 1 :
0 1
0 1
1 1 1
Selanjutnya pengelompokkan semua 1 yang ada dengan membuat kumpulan kotak atau
persegi panjang dentgan jumlah bujursangkar kecil 2
n
. Buatlah kelompok yang sebesar-
besarnya.
0 1
0
1
1 1 1
Cara menentukan bentuk sederhana dari hasil pengelompokkan adalah :
Carilah variabel mana saja yang memiliki nilai yang sama dalam kelompok
tersebut, sebagai contoh kelompok A. Pada kelompok A, variabel yang memiliki
nilai yang sama adalah variabel y dengan harga 1. Pada kelompok B, variabel
yang memiliki nilai yang sama adalah variabel x dengan harga 1
Selanjutnya menentukan bentuk hasil pengelompokkan diatas. Pada contoh
diatas hasil kelompok A adalah y dan hasil kelompok B adalah x. Hasil bentuk
sederhana dari contoh diatas A + B = y + x
2. Sederhanakanlah persamaan :
f(x,y,z) = xyz + xyz + xyz + xyz + xyz + xyz
Jawab :
00 01 11 10
0
1
1 1
1
1
1
1
x
y
x
A
B
f(x,y,z) = z + x
y
yz
x
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 26
3. Sederhanakanlah fungsi Boolean berikut :
f(w,x,y,z) = m(0, 1, 2, 3, 4, 6, 8, 9, 10, 11, 12, 13, 14)
Jawab :
00 01 11 10
00
1
1 1
1
01 1 1
11 1 1 1
10
1
1 1
1
2.9.3 METODE QUINE McCLUSKEY
Metode Quine McCluskey digunakan untuk menyederhanakan fungsi Boolean dengan 4
atau lebih variabel.
Contoh :
Sederhanakanlah fungsi Boolean dibawah ini :
F = m(0, 1, 2, 8, 10, 11, 14, 15)
Jawab :
Langkah-langkah penyelesaiannya :
1. Kelompokkan representasi biner untuk tiap minterm menurut jumlah digit 1 :
Desimal Biner
0 0000
1 0001
2 0010
8 1000
10 1010
11 1011
14 1110
15 1111
f(w,x,y,z) = x + z + wy
wx
yz
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 27
Dari tabel konversi tersebut dapat dilihat bahwa jumlah digit adalah :
Jumlah Digit 1 Desimal w x Y z
0 0 0 0 0 0 0
1 1, 2, 8 1 0 0 0 1
2 10 2 0 0 1 0
3 11, 14 8 1 0 0 0
4 15 10 1 0 1 0
11 1 0 1 1
14 1 1 1 0
15 1 1 1 1
2. Minterm dari satu bagian dengan bagian lainnya jika mempunyai nilai bit yang sama
dalam semua posisi kecuali satu posisi yang berbeda diganti dengan tanda -.
Misal bagian I : 0000
Bagian II : 0001
Sehingga dari tabel diatas menjadi :
w x y z w x y z
0 0 0 0 0
0, 1 0 0 0 -
1 0 0 0 1
0, 2 0 0 - 0
2 0 0 1 0
0, 8 - 0 0 0
8 1 0 0 0
2, 10 - 0 1 0
10 1 0 1 0
8, 10 1 0 - 0
11 1 0 1 1
10, 11 1 0 1 -
14 1 1 1 0
10, 14 1 - 1 0
15 1 1 1 1
11, 15 1 - 1 1
14, 15 1 1 1 -
Tanda , berarti minterm tersebut dipilih untuk tahap selanjutnya.
000-
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 28
3. Kelompokkan hasil minterm tahap 2) seperti tahap 1) kemudian lakukan seperti pada
tahap 2)
A B
w x y z w x y z
0, 1 0 0 0 -
0, 2 0 0 - 0
0, 2, 8, 10 - 0 - 0
0, 8 - 0 0 0
0, 8, 2, 10 - 0 - 0
2, 10 - 0 1 0
10, 14 1 - 1 0
11, 15 1 - 1 1
14, 15 1 1 1 -
4. Memilih Prime-Implicant
Dari tabel diatas terlihat hasil dari tahap penentuan prime implicant. Pada kolom B
(sudah tidak dapat saling dihilangkan), terlihat pada bagian pertama mencakup desimal
0, 2, 8, 10, dan pada bagian kedua mencakup desimal 10, 11, 14, 15. Hal ini berarti dari
fungsi Boolean F = m(0, 1, 2, 8, 10, 11, 14, 15); desimal yang belum ada pada kolom
B adalah desimal 1. Tetapi pada kolom A telah didapat desimal 0, 1, sehingga semua
desimal pada fungsi Boolean telah tercakup semua.
Hal ini berarti calon prime-implicant adalah
- 0, 1 (0 0 0 -) ditandai dengan A
- 0, 2, 8, 10 ( - 0 - 0) ditandai dengan B
- 10, 11, 14, 15 (1 1 -) ditandai dengan C
0 1 2 8 10 11 14 15
A
B x
C x
Jadi bentuk sederhana dari fungsi Boolean F = m(0, 1, 2, 8, 10, 11, 14, 15) adalah :
F = A + B + C
= wxy + xz + wy
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 29
2. Sederhanakanlah fungsi Boolean F = m(0, 1, 3, 4, 5, 7)
Jawab :
x y z x y z x y z
0 0 0 0
0, 1 0 0 -
0, 1, 4, 5 - 0 -
A
1 0 0 1
0, 4 - 0 0
0, 4, 1, 5 - 0 -
4 1 0 0
1, 3 0 - 1
1, 3, 5, 7 - - 1
B
3 0 1 1
1, 5 - 0 1
1, 5, 3, 7 - - 1
5 1 0 1
4, 5 1 0 -
7 1 1 1
3, 7 - 1 1
5, 7 1 - 1
0 1 3 4 5 7
A
X
B X
F = m(0, 1, 3, 4, 5, 7)
= A + B
= y + z
3. Sederhanakanlah fungsi Boolean F = m(0, 2, 4, 5, 6, 8, 10, 11, 13)
Jawab :
w x y z w x y z
0 0 0 0 0 0, 2 0 0 - 0
2 0 0 1 0 0, 4 0 - 0 0
4 0 1 0 0 0, 8 - 0 0 0
8 1 0 0 0 4, 5 0 1 0 -
5 0 1 0 1 4, 6 0 1 - 0
6 0 1 1 0 A 5, 13 - 1 0 1
10 1 0 1 0 10, 11 1 0 1 -
11 1 0 1 1
13 1 1 0 1 B
w x y z w x y z
0, 2 0 0 - 0 0, 2, 4, 6 0 - - 0 H
0, 4 0 - 0 0 C
0, 8 - 0 0 0 D
4, 5 0 1 0 - E
4, 6 0 1 - 0
5, 13 - 1 0 1 F
10, 11 1 0 1 - G
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 30
0 2 4 5 6 8 10 11 13
A X
B X
C X X
D X
E X X
F
G
H
F = m(0, 2, 4, 5, 6, 8, 10, 11, 13)
= D + F + G + H
= xyz + xyz + wxy + wz
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 31
2.10 SOAL LATIHAN
1. Sederhanakanlah Fungsi Boolean dibawah ini dengan menggunakan Cara Aljabar :
a. xy + xyz + y(x +z) + yz
b. wx + xy + yz + zw + wxyz + wxyz
c. wxyz + wxyz + wxyz + wxyz + wxyz + wxyz + wxyz + wxyz +
wxyz + wxyz
d. ABCE + ABCD + BDE + BCD + CDE + BDE
2. Sederhanakanlah Fungsi Boolean dibawah ini dengan menggunakan Peta Kaurnaugh :
a. F = BDE + BCD + CDE + ABCE + ABC + BCDE
b. wx + xy + yz + zw + wxyz + wxyz
c. wxyz + wxyz + wxyz + wxyz + wxyz + wxyz + wxyz + wxyz +
wxyz + wxyz
3. Sederhanakanlah fungsi Boolean dibawah ini dengan menggunakan metode Quine-
McCluskey
a. F(A,B,C,D,E) = (0, 1, 4, 5, 16, 17, 21, 25, 29)
b. F(A,B,C,D,E,F,G) = (20,28,52,60)
c. F(A,B,C,D,E,F,G) = (20,28,38, 39, 52, 60, 102, 103, 127)
d. F(A,B,C,D,E,F,G) = (6, 9, 13, 18, 19, 25, 27, 29, 41, 45, 57, 61)
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 32
BAB III
KALKULUS PROPOSISI
3.1 KONSEP DAN NOTASI DASAR
Kalkulus proposisi merupakan metode untuk kalkulasi yang menggunakan
proposisi/kalimat. Dalam kalkulus proposisi yang ditinjau adalah nilai kalimat deklaratif
(true/false), metode penggabungan kalimat dan penarikan kesimpulan (kalimat)
berdasarkan kalimat tersebut. Kebenaran kalimat dapat ditentukan dari struktur kalimat itu
sendiri, tanpa melihat apakah unsur-unsur pokoknya benar atau salah atau sesuai dengan
kenyataan di alam.
Contoh :
Jika kita tidak mengetahui apakah ada kehidupan di planet jupiter, maka kalimat berikut ini:
Ada monyet di planet Jupiter
Atau
Tidak ada monyet di planet Jupiter
Adalah BENAR.
Kedua kalimat tersebut dapat dinotasikan dengan : P or (not P)
Definisi 3.1 : Proposisi
Kalimat proposisi logik dibentuk oleh simbol berikut yang disebut proposisi :
- Simbol kebenaran : True dan False
- Simbol proposisional: P, Q, R, S, P
1
, Q
1
, R
1
, S
1
, .
Definisi 3.2 : Kalimat
Kalimat proposisi dibentuk dari konektivitas proposisional :
Not, and, or, if-then, if-and-only-if, if-then-else
Kalimat-kalimat dibentuk menurut aturan-aturan berikut ini :
Setiap proposisi adalah kalimat
Jika F adalah kalimat, maka negasi (not F) adalah kalimat
Jika F dan G adalah kalimat, maka konjungsi : (F and G) adalah kalimat
Jika F dan G adalah kalimat, maka disjungsi : (F or G) adalah kalimat
Jika F dan G adalah kalimat, maka implikasi : (If F then G) adalah kalimat
F disebut sebagai anticendent dan G sebagai consequent
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 33
Jika F dan G adalah kalimat, maka ekivalensi : (F if and only if G) adalah kalimat.
F disebut sebagai left-hand-side dan G sebagai rigth-hand-side dari ekivalensi jika F, G,
dan H adalah kalimat, maka kondisional: if F then G else H adalah kalimat.
F disebut sebagai if-clausa, G sebagai then-clausa, dan H adalah sebagai else-clausa
Contoh :
Diketahui ekspresi : E : ((not (P or Q) if only if ((not P) and (not Q))) adalah kalimat.
Karena :
1. P adalah kalimat, Q adalah kalimat
2. (P or Q), (not P), (not Q) adalah kalimat
3. (not (P or Q) and ((notP) and (notQ)) adalah kalimat
4. ((not (P or Q)) if and only if ((not P) and (not Q))) adalah kalimat
3.2 ARTI KALIMAT
Suatu kalimat (P or (not Q)) dapat diketahui kebenarannya, jika diketahui nilai kebenaran
dari simbol proposisi P dan Q.
3.2.1 Interpretasi
Definisi 3.3 :
Suatu interpretasi I adalah suatu tanda untuk nilai kebenaran, true atau false, untuk setiap
kumpulan simbol proposisi. Untuk setiap kalimat F, interpretasi I disebut dengan
interpretasi untuk F jika I bernilai true atau false untuk setiap simbol proposisi F.
Contoh :
Diketahui kalimat F :
P or (not Q)
Satu interpretasi I1 bernilai false untuk P dan true untuk Q, yaitu :
I1 : P adalah false
Q adalah true
Interpretasi lain I2 untuk kalimat F adalah false untuk P dan false untuk Q, yaitu :
I2 : P adalah false
Q adalah false
Sehingga kita dapat mengatakan bahwa, P adalah false dan Q adalah true untuk I1, dan P
adalah false dan Q adalah false untuk I2
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 34
3.2.2 Aturan-aturan semantik
Definisi 3.4
Jika E berupa kalimat dan I adalah intepretasi dari E, maka nilai kebenaran dari E (dan
semua subkalimatnya) dengan interpretasi I ditentukan dengan melakukan pengulangan
aturan-aturan semantik berikut ini :
Aturan Proposisi
Nilai kebenaran dari setiap simbol proposisi : P, Q, R, dalam E adalah sama dengan
nilai kebenaran yang diberikan untuk I
Aturan true
Kalimat true adalah true untuk I
Aturan false
Kalimat false adalah false untuk I
Aturan not
Negasi kalimat : not F adalah true jika F adalah false dan false jika F adalah true
Aturan and
Konjungsi F and G adalah true jika F dan G keduanya benar, dan false jika sebaliknya
(yaitu jika F false atau G false)
Aturan or
Disjunngsi F or G adalah true jika F true atau jika G true, dan false jika keduanya false
Aturan if-then
Implikasi if F then G adalah true jika F false atau jika G true dan false jika F true dan
G false
Aturan if-and-only-if
Ekivalensi F if and only if G adalah true jika nilai kebenaran F adalah sama dengan nilai
kebenaran G, sebaliknya false jika memiliki nilai kebenaran keduanya berbeda.
Aturan if-then-else
Nilai kebenaran kondisional if F then G else H adalah nilai kebenaran G jika F true dan
nilai kebenaran H jika F false.
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 35
Contoh :
Misalkan sebuah kalimat :
A : if (x and (not y)) then ((not x) or z)
Dan interpretasi I untuk A adalah :
I : x T
y F
z F
Dengan menggunakan aturan semantik di atas, maka kalimat A dapat ditentukan nilai
kebenarannya, sebagai berikut :
- karena y F, maka berdasarkan aturan not, (not y) T
- karena x T dan (not y) T, maka berdasarkan aturan and, (x and (not y)) T
- karena x T, maka berdasarkan aturan Not, (not x) F
- karena (not x) f dan z F, maka berdasarkan aturan or, ((not x) or z) F
- karena (x and (not y)) T dan ((not x) or z) F, maka berdasarkan aturan if-then, if
(x and (not y)) then ((not x) or z) F
3.3 SIFAT-SIFAT KALIMAT
1. VALID
Kalimat A valid jika bernilai true berdasarkan semua interpretasi untuk A (disebut juga
Tautologi)
2. STATISFIABLE
Kalimat A statisfiable jika bernilai true berdasarkan beberapa interpretasi untuk A
3. CONTRADICTORY (UNSTATISFIABLE)
Kalimat A contradictory jika bernilai False berdasarkan semua interpretasi untuk A
4. IMPLIES
Kalimat A implies kalimat B, jika untuk sebarang interpretasi I untuk A dan B, jika A
bernilai true berdasarkan I maka B juga bernilai true berdasarkan I
5. EQUIVALENT
Kalimat A dan B ekivalen jika, untuk setiap interpretasi untuk A dan B, A mempunyai
nilai kebenaran yang sama dengan B
6. CONSISTENT
Sekumpulan kalimat A1, A2, konsisten jika ada interpretasi untuk A1, A2,
sehingga Ai (I = 1, 2, 3, ) bernilai true
Contoh :
- Kalimat w or (not w) adalah kalimat valid
- Kalimat x and (not x) adalah kalimat contadictory
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 36
3.4 PENENTUAN NILAI KEBENARAN
Penentuan nilai kebenaran suatu kalimat dapat dilakukan dengan 3 cara yaitu :
1. Tabel Kebenaran
2. Tabel Jarang (sparse)
3. Pohon Semantik
Contoh :
1. if (p and q) then (p or (not r)
Menggunakan Tabel Kebenaran
p q r p and q not r p or not r If (p and q) then (p or not r
F F F F T T T
F F T F F F T
F T F F T T T
F T T F F F T
T F F F T T T
T F T F F T T
T T F T T T T
T T T T F T T
Menggunakan Tabel Jarang
p Q r p and q
If-then
p or not r
T - - - T T
F - - F T -
Menggunakan Pohon Semantik
1
2
T
p
F
p
3
T
T
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 37
2. if (if x then y) then (if (not x) then (not y))
Dengan menggunakan Pohon Semantik
x memiliki dua kemungkinan nilai yaitu T atau F, maka dibentuk
Jika x T, maka nilai A pasti T sehingga pohon menjadi :
Jika x F, maka nilai A bergantung pada y, sehingga pohon menjadi :
Jika y T, maka nilai kebenaran A adalah F,
Jika y F, maka nilai kebenaran A adalah T; sehingga phon semantik menjadi :
1
2
T
x
F
x
3
1
2
T
x
F
x
3
T
1
2
T
x
F
x
3
T
T
y F
4 5
1
2
T
x
F
x
3
T
T
y F
F T
4 5
y
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 38
PEMBUKTIAN DENGAN ASUMSI SALAH
Untuk membuktikan validitas sebuah kalimat diperlukan pembuktian nilai True, untuk
semua interpretasi yang mungkin pada kalimat tersebut. Akan lebih mudah untuk
membuktikan bahwa jika ada 1 interpretasi yang mengakibatkan nilai kalimat tersebut
False maka kalimat tersebut tidak valid.
Contoh :
1. A : if ((not x) or (not y)) then (not (x and y))
Misalkan A bernilai False berdasarkan suatu interpretasi, sehingga :
if ((not x) or (not y)) then (not (x and y)) False
Akan dicoba untuk menurunkan kondisi-kondisi sehingga akan terlihat apakah asusmsi
awal yang diambil dapat terjadi/tidak
A akan bernilai F jika anticendent T dan consequent F
if ((not x) or (not y)) then (not (x and y))
F T F
Dari anticendent belum dapat ditarik kesimpulan, sehingga lihatlah ke consequentnya.
Consequent bernilai F jika (x and y) T, berarti x T dan y T, sehingga :
if ((not x) or (not y)) then (not (x and y)) False
F T T T F T T T
F (?)
Terlihat pada anticendent bahwa terjadi kontradiksi, berarti kondisi A F tidak pernah
terjadi. Sehingga kesimpulannya A valid
2. B : (if x then y) if and only if ((not x) or y)
Ada 2 kasus yang membuat kalimat B bernilai False
Kasus I :
(if x then y) iff ((not x) or y)
T F F
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 39
Sisi kiri belum dapat ditarik kesimpulan, lihatlah sisi kanan :
((not x) or y) akan bernilai F jika x T dan y F, sehingga :
(if x then y) iff ((not x) or y)
T T F F T F F
Terjadi kontradiksi pada bagian sisi kiri.
Kasus II :
(if x then y) iff ((not x) or y)
F F T
Lihat pada bagian anticendent,
(if x then y) akan bernilai F jika x T dan y F, sehingga :
(if x then y) iff ((not x) or y)
F T F F T T F
Terjadi kontradiksi pada bagian sisi kanan.
Karena 1 kasus yang menyebabkan B bernilai False tidak mungkin terjadi, maka dapat
ditarik kesimpulan : B valid
3.6 EKIVALENSI LOGIK DAN KONSEKUENSI LOGIK
Definisi Ekivalensi Logik :
Dua buah kalimat A dan B merupakan ekivalensi logik jika dan hanya jika memiliki nilai
yang sama pada semua interpretasi yang diberikan.
Teorema
A Ekivalensi B, jika dan hanya jika ( A iff B) merupakan Tautologi
Definisi Konsekuensi Logik
B adalah konsekuensi logik dari A jika untuk setiap pemberian nilai kebenaran ke variabel
pada A dan pada B sedemikian sehingga jika A mempunyai nilai TRUE maka B juga
mempunyai nilai TRUE
Teorema
B Konsekuensi Logis dari A, jika dan hanya jika (if A then B) merupakan Tautologi
F (?)
F (?)
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 40
Catatan :
Jika pernyataan lebih dari 1, misal A
1
, A
2
, A
3
maka bentuk konsekuensi logiknya menjadi :
IF (A
1
AND A
2
AND A
3
) THEN B
Contoh Kasus :
Periksa apakah B merupakan kesimpulan dari 6 argumen dibawah ini ?
A
1
: if P then (Q and R and S)
A
2
: if T then (if U then (if not Y then not S))
A
3
: if Q then T
A
4
: if R then (if X then U)
A
5
: if Y then not X
A
6
: X
----------------------------------------------------------------
B : not P
Jawaban harus dibuktikan bahwa kalimat :
IF (A
1
and A
2
and A
3
and A
4
and A
5
and A
6
) THEN B adalah VALID
3.7 KONJUNGSI DAN DISJUNGSI JAMAK
Misal diberikan kalimat yang mengandung operator konjungsi atau konjungsi lebih dari
satu, sebagai berikut :
A : p and q and r
B : p or q or r
Maka urutan perngerjaan operasi pada kalimat tersebut dilakukan dari kiri ke kanan sesuai
aturan sebagai berikut :
1. Konjungsi Jamak
A
1
and A
2
and A
3
and A
4
and and A
n
Memiliki arti :
(( ((A
1
and A
2
) and A
3
) and A
4)
and ) and A
n
)
2. Disjungsi Jamak
A
1
or A
2
or A
3
or A
4
or or A
n
Memiliki arti :
(( ((A
1
or A
2
) orA
3
) or A
4
) or ) and A
n
)
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 41
Kalimat-kalimat berikut adalah ekivalen karena adanya hukum asosiasi :
A : ((w and x) and y) and z
B : w and (x and (y and z))
C : w and ((x and y) and z)
Aturan semantik untuk hubungan jamak :
1. Konjungsi jamak
A
1
and A
2
and A
3
and and A
n
bernilai True jika tiap conjuct A
1
, A
2
, A
3
, A
4
, A
n
adalah True
2. Disjungsi Jamak
A
1
or A
2
or A
3
or or A
n
adalah bernilai True jika setidaknya salah satu dari A
1
, A
2
,
A
3
, A
4
, A
n
adalah true
3.8 SUBSTITUSI
Substitusi adalah operasi pengantian subkalimat dari suatu kalimat dengan subkalimat yang
lain.
Ada dua jenis substitusi
1. Substitusi Total
Penggantian seluruh kemunculan suatu subkalimat
2. Substitusi Parsial
Penggantian nol, satu, atau lebih kemunculan suatu subkalimat.
Definisi : (Substitusi Total)
Jika A, B, C adalah kalimat, maka
A w{B C}
Adalah kalimat yang dihasilkan dengan mengganti seluruh kemunculan B di A dengan C.
Contoh :
1. [ x and (y or x) ] w { x (if w then z) }
menghasilkan :
(if w then z) and (y or (if w then z))
2. [ if x then (y and z) ] w { (y and z) w }
menghasilkan :
if x then w
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 42
Catatan :
Substitusi dikerjakan dalam 1 langkah
[x and y] w { x (x and z)} menghasilkan (x and z) and y
Substitusi tidak memiliki efek jika subkalimat yang akan diganti tidak muncul dalam
kalimat,
[x and y] w { z w } menghasilkan menghasilkan x and y
Substitusi untuk konjungsi dan disjungsi jamak :
[x and y and z] w{(x and y) w}
Sebenarnya [(x and y) and z]w{(x and y) w} menghasilkan w and z
Definisi : (Substitusi Parsial)
Jika A, B, C, adalah kalimat maka
A {B C}
Akan menghasilkan salah satu kalimat dengan mengganti nol, sebagian, atau seluruh
kemunculan subkalimat b di A dengan subkalimat C
Contoh :
[ x and x ] {x y}
akan menghasilkan salah satu dari kalimat-kalimat berikut :
1. x or a {mengganti nol kemunculan x }
2. y or x {mengganti kemunculan x pertama}
3. x or y {mengganti kemunculan x kedua}
4. y or y {mengganti seluruh kemunculan dari x}
Substitusi parsial bersifat invertible, yaitu salah satu kalimat yang mungkin dihasilkan
adalah kalimat semula.
( A {BC}) {C B}
hasilnya adalah A
Contoh :
[ (x or y) {x y}] {y x}
salah satu kalimat yang mungkin adalah : x or y
[(x or y) w {x y}] w {y x }
hasil yang diperoleh tepat 1 kalimat yaitu : x or x
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 43
3.9 SUBSTITUSI JAMAK
Definisi : Misal A, B
1
, B
2
, , dan C
1
, C
2
, , C
n
adalah kalimat dengan B
1
, B
2
, , B
n
saling berlainan.
a. Substitusi Total
Substitusi total dituliskan sebagai :
A w [ B
1
C
1
B
2
C
2
B
n
C
n
]
Adalah kalimat yang diperoleh dengan menggantikan secara simultan (serempak) setiap
kemunculan B
i
di A
i
dengan C
i
b. Substitusi Partial
Substitusi partial dituliskan sebagai :
A [ B
1
C
1
B
2
C
2
B
n
C
n
]
Adalah salah satu kalimat yang diperoleh dengan menggantikan nol, satu, atau lebih
kemunculan B
i
di A
i
dengan C
i
Contoh :
1. Substitusi jamak dilakukan serentak dalam 1 langkah
x w [ x y
y x ]
menghasilkan kalimat : y
Bedakan dengan substitusi bertahap sebagai berikut :
x w {x y} w {y z} menghasilkan kalimat : z
2. [ if x
then if y or x x z
then y or z ] (y or z ) not z
menghasilkan :
if x
then [if (y or x) then y or z ]
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 44
3. [ if x
then if (y or x) x z
then (y or z) ] (y or z) not z
menghasilkan salah satu dari 8 kalimat.
3.10 PERLUASAN INTERPRETASI
Definisi : (Interpretasi yang diperluas)
Jika I adalah suatu interpretasi, x adalah simbol proposisi dan adalah nilai kebenaran
(true/false) maka perluasan interpretasi :
[ x I ] o I
adalah interpretasi yang memberikan nilai pada x dan memberikan nilai kebenaran yang
sesuai dengan interpretasi I untuk semua simbol proposisi selain x.
Contoh :
I
A
: x T
Y F
Jika I
B
= [y T] o I
A
maka I
B
interpretasi dengan x T, y T
Untuk suatu interpretasi I dengan simbol proposisi x
1
, x
2
, , x
n
dan nilai kebenaran
1
,
2
,
,
n
maka
[x
1
]
1
] o [x
2
1
] o o [x
n
n
] o I
berarti
([x
1
]
1
] o ([x
2
1
] o ( o ([x
n
n
] o I)))
LOGIKA MATEMATIKA
INSTITUT TEKNOLOGI TELKOM | 45
3.11 METODE DEDUKSI
- Salah satu metode yang digunakan untuk menarik suatu kesimpulan berdasarkan
pernyataan atau premis-premis yang diketahui.
- Metode deduksi ini menggunakan aturan-aturan penalaran, ekivalensi logik dan
tautologi
- Untuk mempermudah operasi penurunan digunakan operator-operator lama sbb:
Operasi Simbol Baru
Simbol
Lama
NEGASI NOT ~
KONJUNGSI AND
DISJUNGSI OR
IMPLIKASI IF-THEN
EKIVALENSI IF-AND-ONLY-IF