Jawaban:
1. Untuk mengetahui nilai kebenaran dari pernyataan majemuk berikut, akan ditunjukkan dengan
tabel kebenaran.
a. ( p q) ( r q) ( p r ) q
( p q) ( r q)
p q r pq rq ( p q) (r q) pr ( p r) q
( p r) q
B B B B B B B B B
B B S B B B S B B
B S B S S S B S B
B S S S B S S B B
S B B B B B B B B
S B S B B B B B B
S S B B S S B B B
S S S B B B B S S
Berdasarkan tabel diatas, maka pernyataan ( p q) (r q) ( p r ) q bukan
tautologi dan bukan kontradiksi.
b. p ~ p q
p q ~p ~ p q p ~ p q
B B S S S
B S S S S
S B B B S
S S B S S
2. Bukti keabsahan
( p q) (r s)
~ r ~ s
~ p ~ q
Bukti:
1. ( p q) (r s) (Premis 1)
2. ~ r ~ s (Premis 2)
3. ~ (r s) (2 Hukum DeMorgan)
4. ~ ( p q ) (1,3 Modus Tolens)
5. ~ p ~ q (4 Hukum DeMorgan)
Jadi argumen tersebut sah/valid (terbukti).
Banyaknya solusi dari persamaan x1 x2 x3 20 dapat dinyatakan oleh koefisien x20 dalam
ekspansi:
G ( x) ( x 2 x 3 x18 )(1 x x 2 x3 )( x 2 x3 x 4 x5 )
Bila diuraikan, fungsi pembangkit G(x) menjadi:
G ( x) ( x 2 x3 x18 )(1 x x 2 x 3 )( x 2 x 3 x 4 x 5 )
x 2 (1 x x16 )(1 x x 2 x 3 ) x 2 (1 x x 2 x 3 )
1 x17 1 x 4 1 x 4
x4
1 x 1 x 1 x
1
x4 (1 2 x 4 x8 x17 2 x 21 x 25 )
(1 x)3
3 k 1
x 4 (1 2 x 4 x8 x17 2 x 21 x 25 ) (1) k ( x )
k
k 0 k
k 2 k
x 4 (1 2 x 4 x8 x17 2 x 21 x 25 ) x
k 0 k
(k 2)(k 1) k
x 4 (1 2 x 4 x8 x17 2 x 21 x 25 ) x
k 0 2
x (1 2 x x x 2 x x )(1 3 x 45 x 91x12
4 4 8 17 21 25 8
153 x16 )
Dari uraian diatas maka didapat koefisien x20 adalah
153 2(91) 45 16
2 x3 5 .
4. Graf berikut
a b
e
f
h
g
d c
Graf pada gambar diatas merupakan graf bipartisi, karena himpunan titiknya dapat
dikelompokkan menjadi dua himpunan bagian V1 dan V2 seperti pada gambar berikut
V1 V2
a b
c d
f e
h g
Berdasarkan gambar diatas, maka graf tersebut termasuk graf bipartisi tapi bukan graf
bipartisi lengkap karena tidak setiap titik di V1 bertetangga dengan semua titik di V2.
5. Perhatikan graf G
v5 v4 v3
v2
v1
a) Pohon rentang dari graf G pada gambar di atas
v5 v4 v3 v5 v4 v3 v5 v4 v3 v5 v4 v3
v2 v2 v2 v2
v1 v1 v1 v1
(1) (2) (3) (4)
v5 v4 v3 v5 v4 v3 v5 v4 v3 v5 v4 v3
v2 v2 v2 v2
v1 v1 v1 v1
(5) (6) (7) (8)
6. Perhatikan graf G
v1 v2 v3
v4 v5 v6 v7
v8 v9 v10 v11