Tugas Personal ke-1

Minggu 2
NIM : 2402009582
Nama : Abiyyu Dzaky Khairunnisa

1. a). Berikan argumen menggunakan aturan inferensi untuk menunjukkan kesimpulan dari hipotesis
berikut :

Jika Dewan menyetujui dana, maka Atlantik akan mengadakan Olimpiade.

Jika Atlantik mengadakan Olimpiade, maka Atlantic akan membangun stadion yang baru.
Atlantic tidak membangun stadion baru.

b). Dengan tabel kebenaran , tunjukkan apakah pernyataan berikut ini merupakan tautologi,
kontradiksi, atau kontingensi!
(𝑝 → 𝑞) ∧ (𝑞 → 𝑟) ∧ ¬(𝑝 → 𝑟)

2. Pada sirkuit kombinatorik berikut :

a). Tuliskan output/ekspresi Boolean

b). Sederhanakan bentuk pada jawaban bagian a dengan peta Karnaugh
c). Kemudian gambarkan sirkuit kombinatorik dari jawaban bagian b.

MATH6077 – Discrete Mathematics

 Jawaban

1.
a. Kalimat Jika Dewan menyetujui dana, maka Atlantik akan mengadakan Olimpiade merupakan
bentuk p → q , dengan p = dewan menyetujui dana dan q = atlantik akan mengadakan olimpiade.
Kalimat Jika Atlantik mengadakan Olimpiade, maka Atlantic akan membangun stadion yang
baru merupakan bentuk q→ r dengan r Atlantic akan membangun stadion yang baru, sedangkan
kalimat Atlantic tidak membangun stadion baru merupakan bentuk ~r.
sehingga p→ q p→r
q→ r Hypothetical Syllogism ~r Modus Tollens
-------- -------
p→ r ~p

maka kesimpulan dari premis diatas adalah Dewan tidak menyetujui dana.

b. (𝑝 → 𝑞) ∧ (𝑞 → 𝑟) ∧ ¬(𝑝 → 𝑟)

Tabel Kebenaran
P Q R p→q q→r p→r ~(p→r) (𝑝 → 𝑞) ∧ (𝑞 → 𝑟) (𝑝 → 𝑞) ∧ (𝑞 → 𝑟) ∧ ¬(𝑝 → 𝑟)

T T T T T T F T F

T T F T F F T F F

T F T F T T F F F

T F F F T F T F F

F T T T T T F T F

F T F T F T F F F

F F T T T T F T F

F F F T T T F T F

Dari table kebenaran diatas pernyataan

(𝑝 → 𝑞) ∧ (𝑞 → 𝑟) ∧ ¬(𝑝 → 𝑟)

Adalah kontradiksi.

MATH6077 – Discrete Mathematics

2. a. E = xy′+x′z′y+y′𝑧′

b.

x′ z′ x′𝑧′

y v

y′ v v

E= x′𝑦 ′ + 𝑧 ′ 𝑦 ′ + 𝑥′𝑧′𝑦

c.

MATH6077 – Discrete Mathematics