RENCANA PEMBELAJARAN SEMESTER

(RPS)

NAMA MATA KULIAH : LOGIKA INFORMATIKA

KODE MK : MKRK45103

Berbasis

KERANGKA KUALIFIKASI NASIONAL INDONESIA

Indonesian Qualification Framework
Peraturan Presiden No. 8 Tahun 2012

PROGRAM STUDI TEKNIK INFORMATIKA

STMIK KAPUTAMA
BINJAI
 LEMBAR PENGESAHAN

Rencana Pembelajaran Semester (RPS) ini telah disahkan untuk mata kuliah sbb :
Nama Mata Kuliah : Logika Informatika
Kode : MKRK45103

Binjai, 13 September 2021

Mengetahui,

Achmad Fauzi, S.Kom, M.Kom

Ka. Prodi Teknik Informatika
 DAFTAR ISI

LEMBAR PENGESAHAN
DAFTAR ISI

A. RENCANA PEMBELAJARAN SEMESTER (RPS)

B. RANCANGAN TUGAS
 STMIK KAPUTAMA
PROGRAM STUDI TEKNIK INFORMATIKA
RENCANA PEMBELAJARAN SEMESTER
RUMPUN MATA
MATA KULIAH KODE BOBOT (sks) SEMESTER Tanggal Penyusunan
KULIAH
Mata Kuliah
Logika Informatika MKRK45103 3 sks I 13 September 2021
Rumpun Keilmuan
Disusun oleh Diperiksa oleh Diverifikasi oleh
Dosen Pengembang RPS Ka. Prodi Teknik Informatika Unit Penjaminan Mutu

OTORISASI

Ratih Puspadini, S.T, M.Kom Achmad Fauzi, S.Kom, M.Kom Dr. Relita Buaton, S.T, M.Kom
CPL – PROGRAM STUDI
S01 Bertakwa kepada Tuhan Yang Maha Esa dan mampu menunjukkan sikap religius.
S02 Menjunjung tinggi nilai kemanusiaan dalam menjalankan tugas berdasarkan agama, moral dan etika.
Dapat berperan sebagai warga negara yang bangga dan cinta tanah air, memiliki nasionalisme serta
S03
CAPAIAN rasa tanggung jawab pada negara dan bangsa.
PEMBELAJARAN Dapat berkontribusi dalam peningkatan mutu kehidupan bermasyarakat, berbangsa, dan bernegara
S04
(CP) berdasarkan Pancasila.
Dapat bekerja sama dan memiliki kepekaan sosial serta kepedulian terhadap masyarakat dan
S05
lingkungan.
Dapat menghargai keanekaragaman budaya, pandangan, agama, dan kepercayaan, serta pendapat
S06
atau temuan orisinal orang lain.
S07 Taat hukum dan disiplin dalam kehidupan bermasyarakat dan bernegara.
S08 Menunjukkan sikap bertanggungjawab atas pekerjaan di bidang keahliannya secara mandiri.
S09 Menginternalisasi nilai, norma, dan etika akademik.
S10 Menginternalisasi semangat kemandirian, kejuangan, dan kewirausahaan.
Mendemonstrasikan kemampuan komunikasi lisan dan tulisan yang berkaitan dengan aspek teknis
S11
dan non-teknis.
Berpikir kritis, mengidentifikasi akar masalah dan pemecahannya secara komprehensif, serta
S12
mengambil keputusan yang tepat berdasarkan analisis informasi dan data.
S13 Memiliki integritas profesional dan berkomitmen terhadap nilai-nilai etika.
S14 Memiliki sikap untuk belajar seumur hidup (life-long learning).
S15 Memimpin dan bekerja dalam tim, mandiri dan bertanggung jawab terhadap pekerjaannya.
S16 Bekerja sama dengan individu yang memiliki latar belakang sosial dan budaya yang beragam.
S17 Mencari, merunut, menyarikan informasi ilmiah dan non-imiah secara mandiri dan kritis.
Beradaptasi terhadap situasi yang dihadapi dan menangani berbagai kegiatan secara simultan pada
S18
berbagai kondisi.
Menguasai konsep-konsep matematika untuk memecahkan berbagai masalah yang berkaitan dengan
P01
logika, pemodelan matematika dan struktur diskrit.
Menguasai teori dan konsep yang mendasari ilmu komputer untuk merancang, menerapkan dan menganalisis
P02
algoritma untuk menyelesaikan masalah.
P03 Memahami teori dasar arsitektur komputer, termasuk perangkat keras komputer dan jaringan.
Menguasai metodologi pengembangan sistem, yaitu perencanaan, desain, penerapan, pengujian dan
P04
pemeliharaan sistem.
Memahami konsep dan prinsip algoritma dan kompleksitas dalam pemodelan dan desain sistem berbasis
P05
komputer.
Memahami konsep dan prinsip algoritma dan kompleksitas dalam memanipulasi model gambar, grafis dan
P06
citra, robotik, pengenalan suara, sistem cerdas, jaringan dan keamanan sistem.
 Menguasai konsep-konsep bahasa pemrograman, serta mampu membandingkan berbagai solusi serta
P07
berbagai model bahasa pemrograman.
Memahami konsep rekayasa perangkat lunak serta mampu menganalisa dan merancang sistem sesuai dengan
KU01
kebutuhan user.
KU02 Mampu berkomunikasi dengan pemangku kepentingan dari berbagai latar belakang.
Menganalisis, merancang, dan menerapkan suatu sistem berbasis komputer secara efisien untuk
KU03
menyelesaikan masalah, menggunakan pemrograman prosedural dan berorientasi objek.
Memahami pendekatan sistem cerdas yang sesuai dengan problem yang dihadapi, memilih representasi
KU04
pengetahuan dan mekanisme penalarannya.
Mampu memilih struktur dan arsitektur jaringan komputer dan komponen-komponen sesuai dengan
KU05
kebutuhan user.
Mampu menerapkan konsep-konsep yang berkaitan dengan manajemen informasi, termasuk menyusun
KU06 pemodelan dan abstraksi data serta membangun aplikasi perangkat lunak untuk pengorganisasian data dan
penjaminan keamanan akses data.
Mampu mengidentifikasi kebutuhan bidang wirausaha di bidang teknologi informasi serta mampu memimpin
KU07 dan bekerja dalam tim, mandiri dan bertanggung jawab terhadap pekerjaannya serta mampu berkomunikasi
lisan dan tulisan yang berkaitan dengan aspek teknis dan non-teknis.
Mampu mencari, merunut, mencari informasi ilmiah dan non-imiah secara mandiri dan kritis serta
KU08 mengidentifikasi akar masalah dan pemecahannya secara komprehensif, serta mengambil keputusan
yang tepat berdasarkan analisis informasi dan data.
Menerapkan konsep-konsep yang berkaitan dengan manajemen informasi, termasuk menyusun pemodelan
KU09 dan abstraksi data serta membangun aplikasi perangkat lunak untuk pengorganisasian data dan penjaminan
keamanan akses data.
KK01 Mampu membangun aplikasi dan sistem perangkat lunak yang berkaitan dengan pengetahuan ilmu komputer.
Mampu membuat program untuk meningkatkan efektivitas penggunaan komputer untuk memecahkan
KK02
masalah tertentu.
Mampu membangun, mengevaluasi sistem dengan menggunakan bahasa pemrograman, menerapkan konsep-
KK03
konsep yang berkaitan dengan pengembangan berbasis platform pada Mobile Computing.
 Mampu membangun sistem dan merakit alat sistem cerdas, menganalisis, merancang dan
KK04
mengimplementasikan peripheral computer.
Mampu merancang, memprogram dan mengimplementasikan Programmable Logic dan Field Programmable
KK05
Logic Array (FPGA).
Mampu merancang dan mengembangkan program aplikasi untuk memanipulasi model gambar, grafis dan
KK06
citra, serta dapat memvisualisasikannya.
Mampu membangun dan mengevaluasi perangkat lunak dalam berbagai area, termasuk yang berkaitan
KK07
dengan interaksi antara manusia dan komputer.
Mampu membangun, merancang, mengkonfigurasi dan mengelola infrastruktur sistem jaringan komputer dan
KK08
sistem keamanannya serta melakukan pengelolaan secara kontinu terhadap proteksi profil yang ada.
Mampu membangun sistem online sebagai pendukung bisnis dalam bidang teknologi dengan menggunakan
KK09
teknik, ketrampilan dan alat bantu yang modern yang diperlukan dalam bidang teknik komputer.
Mampu menghasilkan karya ilmiah dalam bentuk jurnal atau prosiding untuk dikembangkan pada
KK10
studi lanjut.
CP – MATA KULIAH
Mahasiswa mengetahui dan mematuhi kontrak perkuliahan, serta mampu memahami mata kuliah logika
M1
informatika yang akan dipelajarin selama satu semester ke depan.
M2 Mahasiswa mampu memahami dan menjelaskan tentang logika informatika dan logika proposisional.
M3 Mahasiswa mampu memahami dan menjelaskan tentang tabel kebenaran, implikasi dan aplikasi.
M4 Mahasiswa mampu memahami dan menjelaskan tentang porposisi majemuk.
M5 Mahasiswa mampu memahami dan menjelaskan tentang tautologi
M6 Mahasiswa mampu memahami dan menjelaskan tentang ekuivalensi logis.
M7 Mahasiswa mampu memahami dan menjelaskan tentang validitas argumen dan penyederhanaan.
M8 Mahasiswa mampu memahami dan menjelaskan tentang aturan inferensi.
M9 Mahasiswa mampu memahami dan menjelaskan tentang strategi pembalikan dan tablo semantik.
M10 Mahasiswa mampu memahami dan menjelaskan tentang bentuk normal.
M11 Mahasiswa mampu memahami dan menjelaskan tentang logika predikat dan komponen-komponen sintaktik.
 M12Mahasiswa mampu memahami dan menjelaskan tentang kuantor-kuantor.
M13Mahasiswa mampu memahami dan menjelaskan tentang aljabar boolean dan gerbang logika.
Mahasiswa mampu mengulang kembali materi yang telah dipelajari dan dapat menjawab soal-soal dengan
M14
tepat dan benar.
Deskripsi Singkat Mata Kuliah Mata kuliah ini membahas tentang pengenalan logika informatika/matematika, logika proposisional, tabel
kebenaran, implikasi dan aplikasi, porposisi majemuk, tautologi, ekuivalensi logis, validitas argumen,
penyederhanaan, aturan inferensi, strategi pembalikan, tablo semantik, bentuk normal, bentuk normal, logika
predikat, komponen-komponen sintaktik, kuantor-kuantor, aljabar boolean dan gerbang logika.
Materi Pembelajaran / Pokok 1. Pengantar Logika Informatika/Matematika dan Logika Proposisional.
Bahasan 2. Tabel Kebenaran, Implikasi dan Aplikasi.
3. Proposisi Majemuk
4. Tautologi
5. Ekuivalensi Logis.
6. Validitas Argumen dan Penyederhanaan (Normalisasi).
7. Aturan Inferensi.
8. Strategi Pembalikan dan Tablo Semantik
9. Bentuk Normal.
10. Pengantar Logika Predikat dan Komponen-Komponen Sintaktik.
11. Kuantor-Kuantor.
12. Aljabar Boolean
13. Gerbang Logika.
Pustaka 1. Ben-Ari, M. 2009. Mathematical Logic for Computer Science. Third Edition. Springer-Verlag: London.
2. Maxrizal. 2015. Dasar Logika Informatika. MediaKom: Yogyakarta.
3. Setiadji. 2007. Logika Informatika. Graha Ilmu: Yogyakarta.
4. Soesianto, F. & Dwijono, D. 2006. Logika Matematika untuk Ilmu Komputer. Andi Offset: Yogyakarta.
5. Tarigan, P. 2006. Rangkaian Logika Digital. USUpress: Medan.
Media Pembelajaran Perangkat Lunak Perangkat Keras
- Laptop, LCD Projektor, Whiteboard
 Team Teaching Ratih Puspadini, S.T, M.Kom
Mata Kuliah Syarat Matematika Diskrit, Teknik Digital, Mikroprosesor
A. RENCANA PEMBELAJARAN SEMESTER (RPS)

PERTE KEMAMPUAN AKHIR METODE INDIKATOR ALOKASI BOBOT

BAHAN KAJIAN
MUAN YANG DIHARAPKAN PEMBELAJARAN KEBERHASILAN WAKTU PENILAIAN
1 Mahasiswa mengetahui, dan RPS, Pengenalan mata kuliah Presentasi, Diskusi Mahasiswa dapat 1 x 3 x 45 5%
mampu mengikuti kontrak dan materi kuliah. dan Tanya Jawab Menit
dan memahami
pekuliahan, serta mampu Pengertian logika, argumen,
materi tentang
memahami mata kuliah yang validitas argumen, logika
pengenalan logika
akan dipelajarin selama satu klasik, logika modern : logika
informatika /
semester ke depan. proposisional dan logika
matematika.
Mahasiswa mampu predikat.
memahami dan menjelaskan
tentang logika informatika /
matematika.
2 Mahasiswa mampu Pengantar logika Presentasi, Diskusi Mahasiswa dapat 1 x 3 x 45 5%
memahami dan menjelaskan proposisional, argumen- dan Tanya Jawab memahami materi Menit
tentang logika proposisional. argumen, proposisi-proposisi dan mengerjakan
dan pemberian nilai. latihan soal-soal
tentang logika
proposisional.
3 Mahasiswa mampu Tabel kebenaran, operator Presentasi, Diskusi Mahasiswa dapat 1 x 3 x 45 10 %
memahami dan menjelaskan logika : negasi, konjungsi, dan Tanya Jawab memahami materi Menit
tentang tabel kebenaran, disjungsi, implikasi dan dan mengerjakan
implikasi dan aplikasi. ekuivalensi, NADN, NOR latihan soal-soal
dan XOR. tentang tabel
 Sifat operator logika kebenaran, implikasi
implikasi, implikasi pada dan aplikasi dengan
bahasa pemrograman dan benar.
operasi bit pada sistem
komputer.
4 Mahasiswa mampu Proposisi majemuk, ekpresi Presentasi, Diskusi Mahasiswa dapat 1 x 3 x 45 5%
memahami dan menjelaskan logika, skema, menganalisis dan Tanya Jawab memahami materi Menit
tentang proposisi majemuk. proposisi majemuk, aturan dan mengerjakan
pengurutan, tabel kebenaran latihan soal-soal
proposisi majemuk dan tentang proposisi
apliksi dalam kehidupan. majemuk dan
tautologi dengan
benar.
5 Mahasiswa mampu Tautologi, meng-evaluasi Presentasi, Diskusi Mahasiswa dapat 1 x 3 x 45 5%
memahami dan menjelaskan validitas argumen, dan Tanya Jawab memahami materi Menit
tentang tautologi. kontradiksi, kontigensi, dan mengerjakan
pemanfaatan tautologi dan latihan soal-soal
tautologi tanpa tabel tentang tautologi
kebenaran. dengan benar.
6 Mahasiswa mampu Ekuivalensi logis, hukum- Presentasi, Diskusi Mahasiswa dapat 1 x 3 x 45 10 %
memahami dan menjelaskan hukum ekuivalensi logis : dan Tanya Jawab memahami materi Menit
tentang ekuivalensi logis. hukum negasi ganda, dan mengerjakan
komutatif, distributif, latihan soal-soal
idempoten, identitas, negasi, tentang ekuivalensi
De Morgan, kontrapositif, logis dengan benar.
implikasi, biimplikasi, aborsi,
biimplikasi absolut, dan
negasi, tautologi dan
 kontradiksi, serta aplikasi
ekuivalensi logis.
7 Mahasiswa mampu Validitas argumen, metode Presentasi, Diskusi Mahasiswa dapat 1 x 3 x 45 10 %
memahami dan menjelaskan dan pembuktian argumen : dan Tanya Jawab memahami materi Menit
tentang validitas argumen dan pembuktian secara langsung dan mengerjakan
penyederhanaan. (direct proof), dan latihan soal-soal
pembuktian tidak (indirect tentang validitas
proof) langsung : pembuktian argumen dan
dengan kontrapositif dan penyederhanaan
kontradiksi, serta pembuktian dengan benar.
menggunakan tabel
kebenaran.
Penyederhanaan
(normalisasi), operasi
penyederhanaan,
menghilangkan perangkai
implikasi dan biimplikasi,
perangkai dasar dan
pembuktian dengan
penyederhanaan.
8 UJIAN TENGAH SEMESTER (UTS)
9 Mahasiswa mampu Aturan inferensi : modus Presentasi, Diskusi Mahasiswa dapat 1 x 3 x 45 5%
memahami dan menjelaskan ponens, modus tollens dan dan Tanya Jawab memahami materi Menit
tentang aturan inferensi. silogisme hipotekal, validitas dan mengerjakan
argumen : adisi, simplikatif latihan soal-soal
dan konjungsi, pembuktian tentang aturan
dengan aturan inferensi. inferensi dengan
benar.
10 Mahasiswa mampu Strategi pembalikan, Presentasi, Diskusi Mahasiswa dapat 1 x 3 x 45 10 %
memahami dan menjelaskan konsistensi, operasi strategi dan Tanya Jawab memahami materi Menit
tentang strategi pembalikan pembalikan, serta model dan dan mengerjakan
dan tablo semantik. countermodel. latihan soal-soal
Tablo semantik, aturan-aturan tentang strategi
tablo semantik, tablo pembalikan dan
semantik pada suatu tablo semantik
himpunan ekspresi logika, dengan benar.
pembenaran aturan tablo
semantik, dan tablo semantik
pada argumen.
11 Mahasiswa mampu Bentuk normal, bentuk Presentasi, Diskusi Mahasiswa dapat 1 x 3 x 45 5%
memahami dan menjelaskan normal konjungtif (CNF), dan Tanya Jawab memahami materi Menit
tentang bentuk normal. bentuk normal disjungtif dan mengerjakan
(DNF), bentuk normal dan latihan soal-soal
tabel kebenaran, klausa, tentang bentuk
mengubah ke bentuk normal normal dengan
konjungtif, serta bentuk benar.
normal konjungtif dan
complementation.
12 Mahasiswa mampu Logika predikat, argumen Presentasi, Diskusi Mahasiswa dapat 1 x 3 x 45 10 %
memahami dan menjelaskan pada logika predikat. dan Tanya Jawab memahami materi Menit
tentang logika predikat dan Komponen-komponen dan mengerjakan
komponen-komponen sintaktik, universe of latihan soal-soal
sintaktik. discourse, predikat, fungsi tentang logika
proposisional, serat variabel predikat dan
dan instansiasi. komponen-
 komponen sintaktik
dengan benar.
13 Mahasiswa mampu Kuntor universal, kuantor Presentasi, Diskusi Mahasiswa dapat 1 x 3 x 45 10 %
memahami dan menjelaskan eksistensial, memprediksi dan Tanya Jawab memahami materi Menit
tentang kuantor-kuantor. satu dan n-aritas objek, dan mengerjakan
domain penafsiran kuantor latihan soal-soal
dan kuantor ganda, hubungan tentang kuntor-
antar kuantor, menegasi kunator dengan
kuantor, batasan kuantor, benar.
mengubah pernyataan ke
logika predikat,
pengembangan fungsi
proposisi, varibel terikat dan
bebas.
14 Mahasiswa mampu Pengenalan aljabar boolean, Presentasi, Diskusi Mahasiswa dapat 1 x 3 x 45 5%
memahami dan menjelaskan rumus-rumus dasar aljabar dan Tanya Jawab memahami materi Menit
tentang aljabar boolean. boolean : operasi dengan ‘0’ dan mengerjakan
dan ‘1’, hukum idempoten, latihan soal-soal
involusi, komplement, aljabar boolean
komutatif, assosiatif dan dengan benar.
distributif, sifat pada aljabar
boolean : sifat idempoten,
identitas dan absorsi, serta
beberapa teorema penting
aljabar boolean.
15 Mahasiswa mampu Gerbang logika : gerbang Presentasi, Diskusi Mahasiswa dapat 1 x 3 x 45 5%
memahami dan menjelaskan NOT, AND dan OR, gerbang dan Tanya Jawab memahami materi Menit
tentang gerbang logika. logika tambahan : gerbang dan mengerjakan
 NAND, NOR, EXOR dan latihan soal-soal
EXNOR, serta gerbang logika
menyederhanakan fungsi dengan benar.
boolean.
16 UJIAN AKHIR SEMESTER (UAS)
B. RANCANGAN TUGAS

Nama Mata Kuliah Logika Informatika

Kode Mata Kuliah MKRK45103
Kemampuan Akhir yang Diharapkan Mahasiswa mampu memahami dan menjelaskan
tentang logika proposisional, tabel kebenaran,
implikasi dan aplikasi..
Minggu / Pertemuan Ke - 2 dan 3
Tugas Ke - 1

1. Tujuan Tugas :
Mahasiswa dapat mengerjakan latihan soal-soal tentang logika proposisional, tabel
kebenaran, implikasi dan aplikasi dengan benar.

2. Uraian Tugas :
1. Manakah yang merupakan proposisi atomik dan proposisi majemuk? Jika merupakan
proposisi majemuk tentukan proposisi atomiknya.
a. Kami selalu mematikan jaringan komputer dengan benar.
b. 4 dan 5 adalah faktor dari 13.
c. Sehun terkenal banyak fans-nya.
d. Setiap mahasiswa membawa KTM.
e. Jika saya akan tidur maka saya selalu menggosok gigi.
2. Tentukan tabel kebenaran untuk ekpresi logika berikut ini:
a. A  ¬B
b. (A  ¬A) ↔ ¬B
c. A  B  ¬A
d. (A ↔ ¬B) A
e. A  ¬A

3. Kriteria Penilaian :
Mahasiswa dapat menjawab dan menjelaskan soal-soal tentang logika proposisional,
tabel kebenaran, implikasi dan aplikasi dengan tepat dan benar.

Nama Mata Kuliah Logika Informatika

Kode Mata Kuliah MKRK45103
Kemampuan Akhir yang Diharapkan Mahasiswa mampu memahami dan menjelaskan
tentang proposisi majemuk dan tautologi.
Minggu / Pertemuan Ke - 4 dan 5
Tugas Ke - 2

1. Tujuan Tugas :
 Mahasiswa dapat mengerjakan latihan soal-soal tentang proposisi majemuk dan tautologi
dengan benar.

2. Uraian Tugas :
1. Tentukan ekspresi logika dari proposisi majemuk berikut ini, kemudian tentukan tabel
kebenarannya :
a. Jika hari hujan dan saya sakit maka saya tidak berangkat ke kampus.
b. Program komputer yang kami rakit bagus dan sangat efisien tetapi harga
komponennya sangat mahal.
c. Suatu bangun disebut persegi jika dan hanya jika memiliki empat sisi yang sama
panjang dan tiap sudutnya siku-siku.
2. Tentukan dengan tabel kebenaran, ekspresi logika yang merupakan tautologi,
kontradiksi dan kontingensi.
a. (A ↔ B) ↔ [(A  B)  (¬A  ¬B)]
b. ¬ [A  (B  C)] ↔ [(A  B)  (A  C)]
c. [(¬A  ¬B)  (¬ ¬A  ¬ ¬B)]  C
d. [B  (A  B)]  A

3. Kriteria Penilaian :
Mahasiswa dapat menjawab dan menjelaskan soal-soal tentang proposisi majemuk dan
tautologi dengan tepat dan benar.

Nama Mata Kuliah Logika Informatika

Kode Mata Kuliah MKRK45103
Kemampuan Akhir yang Diharapkan Mahasiswa mampu memahami dan menjelaskan
tentang ekuivalensi logis, validitas argumen dan
penyederhanaan.
Minggu / Pertemuan Ke - 6 dan 7
Tugas Ke - 3

1. Tujuan Tugas :
Mahasiswa dapat mengerjakan latihan soal-soal tentang ekuivalensi logis, validitas
argumen dan penyederhanaan dengan benar.

2. Uraian Tugas :
1. Dua orang mahasiswa sedang berdiskusi masalah program yang sedang mereka
kerjakan.
Mahasiswa 1 : Jika program ini berhasil maka kita akan mendapatkan hadiah.
Mahasiswa 2 : Program ini tidak berhasil atau kita akan mendapatkan hadiah.
Apakah kedua mahasiswa itu menyatakan hal yang sama? Periksalah dengan hukum-
hukum ekuivalensi logis.
 2. Tiga orang pencuri sedang diintrogasi warga di balai desa. Setelah dipukuli warga,
mereka baru angkat bicara.
Pencuri 1 : Tidak benar bahwa kami mencuri mobil atau merampok uang.
Pencuri 2 : Jika kami tidak mencuri mobil maka kami merampok uang.
Pencuri 3 : Kami tidak mencuri mobil dan tidak merampok uang.
Pernyataan mana saja yang ekuivalensi logis? Periksa dengan hukum-hukum
ekuivalensi logis.
3. Periksalah validitas dari argumen berikut menggunakan metode pembuktian langsung
dengan teknik tabel kebenaran :
a. P1 : Jika saya pandai membuat program maka saya seorang programmer.
P2 : Saya tidak pandai membuat program.
K : Saya buka seorang programmer.
b. P1 : Program saya tidak bisa dijalankan atau ada kerusakan teknik jaringan.
P2 : Tidak ada kerusakan teknis jaringan.
K : Program saya tidak bisa dijalankan.

3. Kriteria Penilaian :
Mahasiswa dapat menjawab dan menjelaskan soal-soal tentang ekuivalensi logis,
validitas argumen dan penyederhanaan dengan tepat dan benar.

Nama Mata Kuliah Logika Informatika

Kode Mata Kuliah MKRK45103
Kemampuan Akhir yang Diharapkan Mahasiswa mampu memahami dan menjelaskan
tentang aturan inferensi, strategi pembalikan
dan tablo semantik.
Minggu / Pertemuan Ke - 9 dan 10
Tugas Ke - 4

1. Tujuan Tugas :
Mahasiswa dapat memahami materi dan mengerjakan latihan soal-soal tentang aturan
inferensi, strategi pembalikan dan tablo semantik dengan benar.

2. Uraian Tugas :
1. Tunjukkan validitas dari kesimpulan dengan aturan inferensi.
Premis 1 : Jika Lorenzo rajin bekerja maka dia mendapat reputasi kerja yang baik.
Premis 2 : Apabila Lorenzo memiliki reputasi yang baik maka karirnya akan
meningkat dengan cepat.
Premis 3 : Karir Lorenzo tidak berjalan dengan baik.
Kesimpulan : Jadi, Lorenzo tidak rajin bekerja.
2. Tunjukkan validitas dari kesimpulan dengan aturan inferensi.
 Premis 1 : Jika DPR menolak mengesahkan Undang-Undang yang baru, maka demo
akan berakhir dan Presiden akan mengundurkan diri.
Premis 2 : DPR menolak mengesahkan Undang-Undang yang baru.
Kesimpulan : Jadi, Presiden akan mengundurkan diri.
3. Buktikan validitas argumen berikut ini dengan :
a. Strategi pembalikan dengan menegasi kesimpulan, dan
b. Model dengan memberi nilai Salah (F) pada kesimpulan.
1) Jika Aisyah menikah, maka Bambang sedih dan Bambang tidak gembira.
2) Aisyah menikah dan jika Bambang sedih, maka Bambang gembira.
3) Dengan demikian, Aisyah menikah.

3. Kriteria Penilaian :
Mahasiswa dapat menjawab dan menjelaskan soal-soal tentang aturan inferensi, strategi
pembalikan dan tablo semantik dengan tepat dan benar.

Nama Mata Kuliah Logika Informatika

Kode Mata Kuliah MKRK45103
Kemampuan Akhir yang Diharapkan Mahasiswa mampu memahami dan menjelaskan
tentang bentuk normal, aljabar boolean dan
gerbang logika.
Minggu / Pertemuan Ke - 11, 14 dan 15
Tugas Ke - 5

1. Tujuan Tugas :
Mahasiswa dapat memahami materi dan mengerjakan latihan soal-soal tentang bentuk
normal, aljabar boolean dan gerbang logika dengan benar.

2. Uraian Tugas :
1. Ubahlah bentuk-bentuk logika atau ekspresi-ekspresi berikut ini menjadi bentuk
normal konjungtif (CNF) dan bentuk normal disjungtif (DNF) :
a. (¬A C
b. ¬ (A ↔ (¬A ¬C
2. Buktikan untuk setiap A, B dan C ke dalam hukum-hukum aljabar boolean yang
berlaku:
a. A . B’ = 0 jika hanya jika A . B = A
b. A . (A’ + B) = A . B
c. A + (A’ . B) = A + B
3. Tentukan skema rangkaian logika dan tabel kebenaran untuk fungsi Boolean berikut
ini!
a. f (A, B) = (A + B) + A’ . B’
 b. f (A, B, C) = (A + B + C)’

3. Kriteria Penilaian :
Mahasiswa dapat menjawab dan menjelaskan soal-soal tentang bentuk normal, aljabar
boolean dan gerbang logika dengan tepat dan benar.