SEKOLAH TINGGI MANAJEMEN INFORMATIKA & KOMPUTER

DHARMA NEGARA
SK. Mendiknas 103/D/0/2005
Jl. Kampus I No. 39 Babakan Sari Bandung, Telp. (022) 71520309

UTS (UJIAN TENGAH SEMESTER)

SEMESTER GENAP TAHUN AKADEMIK 2023/2024 STMIK DHARMA NEGARA
TEKNIK INFORMATIKA
Mata Kuliah : Logika Matematika Kelas : TI 2 & 4 / Reguler
Nama Dosen : Nurwita Widyastuti, S. Kom Sifat Ujian : Close Book
Hari/Tanggal Ujian : Selasa, 12 Desember 2023 Waktu : 100 Menit

1. Tentukan dengan table kebenaran, ekpresi logika yang merupakan tautologi, kontradiksi dan
kontingensi. (20 poin)
a) (p ⇔ q) ⇔ [(p ^ q) v (~p ^ ~q)]
b) [q ^ (p => q)] => p
2. Diberikan pernyataan berikut : (20 Poin)
p : Rusa itu waspada
q : Rusa itu bergerak lebih cepat
r : Buaya itu tidak akan mampu menangkapnya
“Jika rusa itu waspada dan bergerak lebih cepat, maka buaya itu tidak akan mampu
menangkapnya”
Tentukan symbol dari ekspresi logika dan buatlah table kebenarannya.
3. Tentukan table kebenaran untuk ekspresi logika berikut ini : (30 poin)
a. p ⇔ ~q
b. (p ⇔ ~q) ^ p
c. (p ↓ q) | ~p
4. Periksalah dengan table kebenaran, apakah kedua ekspresi logika berikut ekuivalensi logis ? (10
poin)
a) p => (q ^ p) dan ~(q ^ p) => ~p
5. Dik pernyataan : (20 poin)
p : Mahasiswa rajin belajar dalam mata kuliah logika matematika
q : Dosen akan memberikan nilai A
Buatlah kalimat konjungsi, disjungsi, implikasi, biimplikasi beserta dengan negasinya.

Selamat Mengerjakan ☺