TUGAS :
1) Buatlah tabel kebenaran dari pernyataan majemuk berikut :
a b c ~ a b
a. Apakah pernyataan majemuk itu totologi, kontradiksi, atau kontingensi?
b. Apakah pernyataan majemuk itu implikasi logis?
Penyelesaian :
Tabel Kebenaran a b c ~ a b
a b c a b a b c ~a ~ a b a b c ~ a b
B B B B B S S B
B B S B S S S S
B S B S S S B B
B S S S S S B B
S B B B B B B B
S B S B S B B B
S S B B B B S B
S S S B S B S S
(2) menggunakan p q ~ p q
(4) menggunakan ~ p q p ~ q
a n c1 . r1 c 2 . n. r2
n n
a n c1 . 2 n c 2 . n . 2 n
untuk a1 2
a1 c1 .21 c 2 .1.21
2 2c1 2c2
1 c1 c2 ............................ persamaan (1)
untuk a 2 6
a 2 c1 .2 2 c2 .2.2 2
6 4c1 8c2
3 2c1 4c 2 ................................persamaa n (2)
Dari persamaan (1) dan (2) diperoleh :
c1 c 2 1 2 2c1 2c2 2
2c1 4c 2 3 1 2c1 4c2 3
2c 2 1
1
c2
2
1 1
Karena c1 c2 1 dan c 2 , maka nilai dari c1
2 2
1 1
Jadi solusi khusus relasi rekursifnya adalah a n .2 n .n.2 n
2 2
4) Manakah graph berikut yang merupakan graph bipartisi? Berikan alasannya!
Penyelesaian :
Bukan graf bipartisi, karena himpunan titiknya tidak dapat dikelompokkan menjadi dua
himpunan bagian V1 dan V2, jika himPunan titiknya dibagi menjadi 2 himpunan bagian V1
dan V2maka ada beberapa titik-titik di V1 saling bertetangga, begitupun pada titik-titik di
V2.
Graf Bipartisi, dari gambar terlihat himpunan titiknya dapat dibagi menjadi 2 himpunan
bagian yaitu V1 dan V2, diamana setiap titik di V1 tidak saling bertetangga begitupun titik-
titik di V2.