NIM :

Tugas Personal ke-1

Minggu ke 2, Sesi ke 3

1. a. Tunjukkan bahwa p →(q →r ) dan (p ∧ q) →r adalah logika equivalen.

p q r (q →r ) p →(q →r ) (p ∧ q) (p ∧ q) →r
T T T T T T T
T T F F F T F
T F T T T F T
T F F T T F T
F T T T T F T
F T F F T F T
F F T T T F T
F F F T T F T

Maka kedua proposisi di atas equivalen.

b. Tunjukkan validitas argument berikut menggunakan tabel kebenaran dan

aturan inferensi !
Pak Ali adalah seorang pedagang atau petani.
Jika pak Ali seorang pedagang, maka ia kaya.
Ternyata Pak Ali tidak kaya.
Jadi, Pak Ali seorang petani.
Misal:
p : Pak Ali adalah seorang pedagang
q : Pak Ali adalah seorang petani
r : Pak Ali kaya
Simbol untuk argument diatas adalah:

Premis 1 = p ∨ q
Premis 2 = p ⇒ r
Premis 3 = ~ r

MATH6077 – Discrete Mathematics

 Konklusi = ∴q

Tabel Kebenaran :
p q r p˅q p→r ~r
T T T T T F
T T F T F T
T F T T T F
T F F T F T
F T T T T F
F T F T T T
F F T F T F
F F F F T T

Aturan Inferensi :

p˅q p˅q q
p→r ~r
~r
∴q ∴q ∴q

*Modus Tollens *Disjungsi Syllogism Karena premis = konklusi

maka argumen valid

2. a. Tentukan output dari gambar sirkuit kombinatorik berikut :

MATH6077 – Discrete Mathematics

x y z ~x ~y ~z x˅y (1) ~x˅z (2) (1)˅(2) (3) ~y˅~z (4) (3)˅(4)
T T T F F F F T T F T
T T F F F T F F F T T
T F T F T F T T F T T
T F F F T T T F T F T
F T T T F F T F T F T
F T F T F T T T F T T
F F T T T F F F F T T
F F F T T T F T T F T

((x˅y)˅(~x˅z))˅(~y˅~z)

b. Tuliskan ekspresi Boolean dari F(x,y,z) berdasarkan table berikut dan

kemudian tentukan ekspresi Boolean minimal dengan K-Map.

MATH6077 – Discrete Mathematics

 F(x,y,z) = xyz + x~y~z + ~xy~z + ~x~yz
KMAP yz y~z ~yz ~y~z
x 1 0 0 1
~x 0 1 1 0

MATH6077 – Discrete Mathematics

MATH6077 – Discrete Mathematics