YAYASAN SASMITA JAYA

UNIVERSITAS PAMULANG
SK MENDIKNAS NO. 136/D/O/2001
Jl. Surya Kencana No. 1 Pamulang Barat, Kota Tangerang Selatan, Banten. Telp/Fax (021)7412566

UJIAN TENGAH SEMESTER

SEMESTER GANJIL TAHUN AKADEMIK 2020/2021

Hari/Tanggal : Selasa s.d Sabtu / 15 s.d 19 Desember 2020

Mata Kuliah : Logika Informatika
Dosen Pengampu : Bambang Hadi Purnomo, S.Kom, M.T.I, CFE, CFrA, ERMAP
Program Studi : Teknik Informatika
Sifat Ujian : ONLINE

Soal

1. Lengkapi tabel kebenaran di bawah ini :

P q Pq (biimplikasi) (~p or q) and ( p and ~q)

0 0

0 1

1 0

1 1

2. Nyatakan kalimat di bawah ini dengan logika informatika:

a. Hari ini libur semester dan mahasiswa tidak kuliah
b. Tidak benar bahwa hari ini libur semester dan mahasiswa kuliah
c. Hari ini tidak libur semeter dan mahasiswa kuliah
d. Hari ini kuliah dan tidak libur semester
e. Hari ini tidak kuliah jika hanya jika libur semester
3. Sederhanakan ekspresi logika di bawah ini dengan hukum ekivalen/logika
a. (A ^ ~B) V (A ^ B ^ C)
b. A v (A^B)
4. Perhatikan soal di bawah ini:
Apakah (A-->B) atau (A impilikasi B) ekivalen dengan (B-->A) atau (B implikasi A),
Jawablah dengan tabel kebenaran !
 YAYASAN SASMITA JAYA
UNIVERSITAS PAMULANG
SK MENDIKNAS NO. 136/D/O/2001
Jl. Surya Kencana No. 1 Pamulang Barat, Kota Tangerang Selatan, Banten. Telp/Fax (021)7412566

UTS Logika Informatika

Nama : Rian Hidayat
Nim : 201011400128
Kode Kelas : 01TPLE006

1. Table kebenaran :

p Q ~p ~q p↔q (~p˅q) (p˄~q) (~p˅q)↔(p˄~)

0 1 1 1 1 0 0 1
0 1 1 0 1 1 1 1
1 0 0 1 0 1 1 1
1 0 0 0 1 1 1 1

2. A. Hari ini libur semester dan mahasiswa tidak kuliah

p : Hari ini libur semester
q: Mahasiswa tidak kuliah
Pernyataan p˄q : Hari ini libur semester
Semakna dengan
Mahasiswa tidak kuliah dikarnakan sudah memasuki libur semester

B. Tidak benar bahwa hari ini libur semester dan mahasiswa kuliah
p: Hari ini libur semester
q: Mahasiswa tidak kuliah
Pernyataan ~(~p˄~q) : Bahwa hari ini libur semester dan mahasiswa tidak kuliah

C. Hari ini tidak libur semester dan mahasiswa kuliah

p: Hari ini libur semester
q: Mahasiswa kuliah
pernyataan ~p˄q : jika hari ini tidak libur semester maka mahasiswa masuk kuliah

D. Hari ini kuliah dan tidak libur semester

p: hari ini kuliah
q: tidak libur semester
pernyataan p˄(~q)
dinyatakan hari ini masuk kuliah dan tidak libur semester

E. Hari ini tidak kuliah jika hanya jika libur semester

p: hari ini tidak kuliah
q: jika hanya jika libur semester
pernyatan logika (p↔q)
 YAYASAN SASMITA JAYA
UNIVERSITAS PAMULANG
SK MENDIKNAS NO. 136/D/O/2001
Jl. Surya Kencana No. 1 Pamulang Barat, Kota Tangerang Selatan, Banten. Telp/Fax (021)7412566

3. Sederhankan ekspresi logika di bawah ini dengan hokum ekivalen/logika

A. (A^~B) ˅ (A^B^C)
 (A˄ ¬B) ˅ (A˄(B˄C)) Tambah kurung
 A˄(¬B˅(B˄C)) Distributif
 A˄((¬B˅B)˄(¬B˅C)) Distributif
 A˄(1˄(¬B˅C)) Tautology
 A˄(¬B˅C) Identy of ^

B. A ˅ (A^B)
 A˅ (A^B) = A Absorption

4. Apakah (A-->B) atau (A impilikasi B) ekivalen dengan (B-->A) atau (B implikasi A),
Jawablah dengan tabel kebenaran !

A B A => B B => A

B B B B
B S S B
S B B S
S S B B

Tidak ekivalen
A=˃ B Tidak ekivalen dengan B =˃ A
 YAYASAN SASMITA JAYA
UNIVERSITAS PAMULANG
SK MENDIKNAS NO. 136/D/O/2001
Jl. Surya Kencana No. 1 Pamulang Barat, Kota Tangerang Selatan, Banten. Telp/Fax (021)7412566