Nama mahasiswa: Ridwan Imansyah

DGP 21.2 Pagi

Nim: 1121080111
Tugas Matematika Diskrit

1 Tuliskan tabel kebenaran dari proposisi di bawah:

a. - p ˄ (p ˅ q)
b. - (p ˄ q) ˅ (r ˄- q)
c. (p ˄ - ( - p ˅ q)) ˅ (p ˄ q)

2 Ubah kalimat ini ke dalam ekspresi logika (notasi simbolik)

a. Anda hanya dapat mengakses internet dari kampus hanya jika anda mahasiswa
Informatika atau anda bukan seorang sarjana.
b. Anda tidak dapat menaiki roller coaster jika anda tingginya kurang dari 150 cm kecuali
jika anda berusia lebih dari 16 tahun.
3 Diberikan pernyataan “Tidak benar bahwa dia belajar Algoritma tetapi tidak belajar
Matematika”.

(a) Nyatakan pernyataan di atas dalam notasi simbolik (ekspresi logika)

(b) Berikan pernyataan yang ekivalen secara logika dengan pernyataan tsb (Petunjuk:
gunakan hukum De Morgan)

4 Selidiki validitas argumentasi di bawah :

(a) 1. Jika microsoft word maka windows system operasinya

2. Jika bukan product microsoft maka bukan windows sistem operasinya

3. Linux

bukan microsoft word

(b) Buat kesimpulan yang valid dari argumentasi di bawah:

1. Jika memakai sistem digital maka hasilnya akurat dan jika merancang gerbang logika
harus menguasai Aljabar Boolean
2. Sistim digital atau gerbang logika
3. Tidak akurat atau bukan Aljabar Boolean
4. Tidak akurat

?
5 Soal-soal quantor
a. Soal

b. Soal

6 Soal –soal
a. Soal
 b. Soal

7 Soal-soal
 Jawaban

1. a. - p ˄ (p ˅ q)

p q ~p p˅q ~p ˄ (p ˅ q)
T T F T F
T F F T F
F T T T T
F F T F F

b. - (p ˄ q) ˅ (r ˄- q)

p q r ~(p˄q) ~q r˄~q ~(p˄q) ˅ (r˄~q)

T T T F F F F
T T F F F F F
T F T T T T T
T F F T T F T
F T T T F F T
F T F T F F T
F F T T T T T
F F F T T F T

c. (p ˄ - ( - p ˅ q)) ˅ (p ˄ q)

p q ~p -p˅q - ( - p ˅ q) p˄q (p ˄ - ( - p ˅ q)) (p ˄ - ( - p ˅ q)) ˅ (p ˄ q)

T T F T F T F T
T F F T F F F F
F T T T F F F F
F F T T F F F F
2. a. P= dapat akses internet
Q= mahasiswa informatika
R=seorang sarjana
( p˄ q ) ˅ R

b. P = anda tidak dapat

Q = tinggi kurang dari 150 cm
R = berusia lebih dari 16 tahun
( p ˄ q )→r

3. misalkan :
P : Dia belajar Algoritma
q : dia belajar Matematika

maka,
(a) ~ (p ˄ ~q)
(b.) ~ (P ˄ ~ q<==> ~p ˅ q (Hukum De Morgan)
dengan kata lain: "Dia tidak belajar Algoritma atau belajar Matematika

4. (a.) p : Microsoft word

q : windows sistem operasinya.
r : Linux

p→q p→q
~p→ ~q ==> q→p
r r
_________ _________
֒֒ … ֒֒ …
Kesimpulan : “Linux”
Ket : p→p adalah Tantologi (selalu benar)

(b.) premis 1 = jika memakan sistem digital maka hasilnya akurat dan jika merancang
gerbang logika harus menguasai aljabar boole
Premis 2 = Sistem digital atau gerbang logika.
Premis 3 = tidak akurat atau bukan aljabar boole
Premis 4 = tidak akurat

Kesimpulan : jika tidak bisa merancang gerbang logika maka tidak menguasai Aljabar Boole.
5. A. a.) untuk semua x jika x adalah planet maka X mendukung kehidupan
b.) Semua x adalah planet seperti bumi atau semua X mendukung kehidupan semua
planet seperti bumi atau semua planet mendukung kehidupan
c.) Semua x adalah planet seperti bumi atau X tidak mendukung kehidupan
semua planet seperti bumi atau tidak mendukung kehidupan
d.) Semua planet seperti bumi atau semua planet tidak mendukung kehidupan

B.
a.) A = himpunan dari aplikasi manipulasi foto dan penggunaan multimedia
B = himpunan tipe database
C = himpunan dari bahasa pemrograman dan Framework pengembangan perangkat
lunak
D =Himpunan nama-nama sistem operasi
E = himpunan media penyimpanan komputer
F = himpunan bagian-bagian komputer

b.).
6. a. Banyaknya orang yang tidak menguasai ketiga jenis sistem operasi diatas adalah 10
orang
Penjelasan :
Jumlah semua mahasiswa-jumlah orang yang menguasai paling tidak satu sistem
operasi = 1200 - 1190 = 10 orang

b. Banyaknya orang yang hanya menguasai Linux tetapi tidak menyukai Windows dan unix
adalah 270 orang
Penjelasan :
Orang yang hanya menguasai Linux = orang yang menguasai Linux - orang yang hanya
menguasai Windows dan Linux - orang yang hanya menguasai Linux dan unix - orang
yang menguasai ketiga sistem operasi = 582 - 5 - 85 - 222 = 270 orang

c. 25-x+x28-x+2=37
55 - x= 37
55 - 37= x
x = 18
18 orang yg menguasai keduanya.