Logika [PDF]

  • 0 0 0
  • Suka dengan makalah ini dan mengunduhnya? Anda bisa menerbitkan file PDF Anda sendiri secara online secara gratis dalam beberapa menit saja! Sign Up
File loading please wait...
Citation preview

LOGIKA PROPOSISI



Proposisi



Definisi 1 adalah kalimat deklaratif yang bernilai benar (true) atau salah (false), namun tidak dapat sekaligus keduanya. Kebenaran atau kesalahan dari sebuah kalimat disebut



.



Contoh: (a) 6 adalah bilangan genap. (b) Soekarno adalah Presiden Indonesia yang pertama. (c) 2 + 2 = 4. (d) Ibukota Provinsi Jawa Barat adalah Semarang. (e) 10 adalah bilangan prima. (f) 23 โ‰ค 17. (g) Hasil penjumlahan dua bilangan genap adalah bilangan ganjil. (h) Kerjakan soal ini! (i) Di mana lokasi kampus Telkom University? (j) 2๐‘ฅ + 5 = 10. (k) ๐‘ฅ โˆ’ ๐‘ฆ < 21.



1 | Logika Matematika



Latihan soal: 1. Tentukan apakah kalimat berikut adalah proposisi, jika ya, tentukan nilai kebenarannya. a. Bandung adalah ibukota Provinsi Kalimantan Barat. b. Belajarlah sungguh-sungguh. c. 2๐‘ฅ + 2 = 7. d. 4 salah satu faktor dari 13. e. ๐‘ฅ + ๐‘ฆ = ๐‘ฆ + ๐‘ฅ. 2. Berikan syarat tambahan agar kalimat berikut menjadi suatu proposisi, kemudian tentukan kebenarannya. a. 2 + ๐‘ฅ = 5. b. ๐‘ฅ โˆ’ ๐‘ฆ = 0. c. ๐‘ฅ โˆ’ 4๐‘ฆ = 0.



2 | Logika Matematika



Mengkombinasikan Proposisi Operator yang digunakan untuk mengkombinasikan proposisi disebut



.



Operator logika dasar yang digunakan adalah dan (and), atau (or), dan tidak (not).



Definisi 2 Misalkan ๐‘ dan ๐‘ž adalah proposisi. ๐‘ dan ๐‘ž, dinyatakan dengan notasi ๐‘ โˆง ๐‘ž, adalah proposisi ๐‘ dan ๐‘ž ๐‘ dan ๐‘ž, dinyatakan dengan notasi ๐‘ โˆจ ๐‘ž, adalah proposisi ๐‘ atau ๐‘ž dari ๐‘, dinyatakan dengan notasi โˆผ ๐‘, adalah proposisi Tidak ๐‘



Contoh: 1. Diketahui proposisi-proposisi berikut: ๐‘: Hari ini hujan ๐‘ž: Murid-murid diliburkan dari sekolah ๐‘โˆง๐‘ž



: Hari ini hujan dan murid-murid diliburkan dari sekolah



๐‘โˆจ๐‘ž



: Hari ini hujan atau murid-murid diliburkan dari sekolah



โˆผ๐‘



: Tidak benar bahwa hari ini hujan (Hari ini tidak hujan)



3 | Logika Matematika



2. Diketahui proposisi-proposisi berikut: ๐‘: Hari ini hujan ๐‘ž: Hari ini dingin โˆผ ๐‘ โˆงโˆผ ๐‘ž : Hari ini tidak hujan dan hari ini tidak dingin (Hari ini tidak hujan juga tidak dingin) ๐‘ž โˆจโˆผ ๐‘



: Hari ini dingin atau hari ini tidak hujan (Hari ini dingin atau tidak hujan)



โˆผ (โˆผ ๐‘)



: Tidak benar bahwa hari ini tidak hujan (Salah bahwa hari ini tidak hujan)



Latihan soal: 1. Diketahui proposisi-proposisi berikut: ๐‘: Pemuda itu tinggi ๐‘ž: Pemuda itu tampan Nyatakan kalimat di bawah ini dalam notasi logika. (a) Pemuda itu tinggi dan tampan (b) Pemuda itu tinggi tapi tidak tampan (c) Tidak benar bahwa pemuda itu pendek atau tidak tampan (d) Pemuda itu tinggi, atau pendek dan tampan (e) Tidak benar bahwa pemuda itu pendek maupun tampan 2. Diketahui proposisi-proposisi berikut: ๐‘: Kami pintar membuat program ๐‘ž: Kami akan mengikuti kontes robotik Nyatakan notasi logika di bawah ini ke dalam proposisi. (a) โˆผ ๐‘ โˆจโˆผ ๐‘ž (b) โˆผ (โˆผ ๐‘ž โˆง ๐‘) (c) โˆผ ๐‘ž โˆงโˆผ ๐‘



4 | Logika Matematika



3. Diketahui proposisi-proposisi berikut: ๐‘: Hari ini saya berangkat ke kampus ๐‘ž: Hari ini saya ke mall Nyatakan notasi logika di bawah ini ke dalam proposisi. (d) โˆผ ๐‘ โˆจโˆผ ๐‘ž (e) โˆผ ๐‘ โˆง ๐‘ž (f) โˆผ (๐‘ โˆง ๐‘ž)



Tabel Kebenaran dari operasi logika โˆง, โˆจ, dan โˆผ: p



q



p๏ƒ™q



p



q



p๏ƒšq



p



T T F F



T F T F



T F F F



T T F F



T F T F



T T T F



T F



๏พp F T



5 | Logika Matematika



Disjungsi Eksklusif Operator atau (or) dalam operasi logika digunakan dalam dua cara, yaitu: ๏ถ Disjungsi inklusif Disjungsi inklusif adalah operator โ€œatauโ€ yang telah dipelajari sebelumnya, yaitu untuk kalimat โ€œ๐‘ atau ๐‘žโ€ memiliki arti: โ€œ๐‘ atau ๐‘ž atau keduanyaโ€. ๏ถ Disjungsi eksklusif Disjungsi eksklusif adalah operator โ€œatauโ€ yang memberikan arti yang berbeda, yaitu untuk kalimat โ€œ๐‘ atau ๐‘žโ€ memiliki arti: โ€œ๐‘ atau ๐‘ž tetapi tidak keduanyaโ€.



Definisi 3 Misalkan ๐‘ dan ๐‘ž adalah proposisi.



๐‘ dan ๐‘ž,



dinyatakan dengan notasi ๐‘ โŠ• ๐‘ž, adalah proposisi yang bernilai benar bila hanya salah satu dari ๐‘ dan ๐‘ž benar, selain itu nilainya salah.



dari operasi logika โŠ•:



6 | Logika Matematika



Proposisi Bersyarat (Implikasi) Pernyataan berbentuk โ€œjika ๐‘, maka ๐‘žโ€ disebut proposisi bersyarat atau implikasi.



Definisi 4 Misalkan ๐‘ dan ๐‘ž adalah proposisi. Proposisi majemuk โ€œjika ๐‘, maka ๐‘žโ€ disebut , dinotasikan dengan ๐‘ โ†’ ๐‘ž. Proposisi ๐‘ disebut hipotesis atau kondisi dan proposisi ๐‘ž disebut konklusi atau konsekuen. Implikasi ๐‘ โ†’ ๐‘ž dapat diekspresikan dalam kalimat-kalimat berikut: (a) Jika ๐‘, maka ๐‘ž



(e) ๐‘ hanya jika ๐‘ž



(b) Jika ๐‘, ๐‘ž



(f) ๐‘ syarat cukup agar ๐‘ž



(c) ๐‘ mengakibatkan ๐‘ž



(g) ๐‘ž syarat perlu bagi ๐‘



(d) ๐‘ž jika ๐‘



(h) ๐‘ž bilamana ๐‘



Contoh: (a) Jika mahasiswa rajin belajar maka dosen akan memberikan nilai A. (b) Dosen akan memberikan nilai A apabila mahasiswa rajin belajar. (c) Mahasiswa rajin belajar hanya jika dosen akan memberikan nilai A. (d) Mahasiswa rajin belajar adalah syarat cukup untuk dosen akan memberikan nilai A. (e) Dosen akan memberikan nilai A adalah syarat perlu untuk mahasiswa rajin belajar. Perhatikan!



Dalam implikasi yang dipentingkan nilai kebenaran kondisi dan konsekuen, bukan hubungan sebab dan akibat diantara keduanya.



7 | Logika Matematika



Tabel kebenaran implikasidari operasi logika โ†’: p T T F F



q T F T F



p๏‚ฎq T F T T



Contoh: 1. Tentukan notasi logika dari pernyataan: โ€œAnda tidak dapat terdaftar sebagai pemilih dalam Pemilu jika Anda berusia di bawah 17 tahun kecuali kalau Anda sudah menikahโ€. 2. Dua pedagang barang kelontong mengeluarkan moto jitu untuk menarik pembeli. Pedagang pertama mengumbar moto โ€˜Barang bagus tidak murahโ€™ sedangkan pedagang kedua mempunyai moto โ€˜Barang murah tidak bagusโ€™. Apakah kedua moto pedagang tersebut menyatakan hal yang sama?



8 | Logika Matematika



Latihan soal: 1. Sebagian besar orang percaya bahwa harimau Jawa sudah lama punah. Tetapi, pada suatu hari Amir membuat pernyataan-pernyataan kontroversial sebagai berikut: (a) Saya melihat harimau di hutan. (b) Jika saya melihat harimau di hutan, maka saya juga melihat srigala. Misalkan kita diberitahu bahwa Amir kadang-kadang suka berbohong dan kadang-kadang jujur (bohong: semua pernyataanya salah, jujur: semua pernyataannya benar). Gunakan tabel kebenaran untuk memeriksa apakah Amir benar-benar melihat harimau di hutan? 2. Untuk menerangkan mutu sebuah hotel, misalkan ๐‘: Pelayanannya baik ๐‘ž: Tarif kamarnya murah ๐‘Ÿ: Hotelnya berbintang tiga Terjemahkan proposisi berikut dalam notasi logika: (a) Tarif kamarnya murah, tapi pelayanannya buruk (b) Tarif kamarnya mahal atau pelayanannya baik, namun tidak keduanya (c) Salah bahwa hotel berbintang tiga berarti tarif kamarnya murah dan pelayanannya buruk



9 | Logika Matematika



Bikondisional (Biimplikasi) Pernyataan berbentuk โ€œ๐‘ jika dan hanya jika ๐‘žโ€ disebut bikondisional atau biimplikasi.



Definisi 5 Misalkan ๐‘ dan ๐‘ž adalah proposisi. Proposisi majemuk โ€œ๐‘ jika dan hanya jika ๐‘žโ€ disebut , dinotasikan dengan ๐‘ โŸท ๐‘ž. Biimplikasi ๐‘ โŸท ๐‘ž dapat diekspresikan dalam kalimat-kalimat berikut: (a) ๐‘ jika dan hanya jika ๐‘ž (b) ๐‘ adalah syarat perlu dan cukup untuk ๐‘ž (c) Jika ๐‘ maka ๐‘ž, dan sebaliknya Contoh: (a) 1 + 1 = 2 jika dan hanya jika 2 + 2 = 4 (b) Syarat cukup dan syarat perlu agar hari hujan adalah kelembaban udara tinggi (c) Jikaโ€œpanda kaya maka ๏‚ท Bentuk proposisi: jikaorang dan hanya jikaanda qโ€ mempunyai banyak uang, dan sebaliknya



๏‚ท Notasi: p ๏‚ซ q



dari operasi logika โŸท:



p



q



p๏‚ซq



T T F F



T F T F



T F F T



Latihan soal:



๏‚ท p ๏‚ซ q ๏ƒ› (p ๏‚ฎ q) ๏ƒ™ (q ๏‚ฎ p). Misalkan ๐‘: Mahasiswa senang dan ๐‘ž: Dosen tidak datang. Nyatakan kalimat berikut dalam notasi logika: (a) Mahasiswa senang jika dan hanya jika dosen datang (b) Syarat cukup dan perlu agar mahasiswa senang adalah dosen tidak datang. (c) Jika dosen datang maka mahasiswa tidak senang, dan jika mahasiswa tidak senang maka dosen datang. 10 | Logika Matematika



Jenis-jenis Proposisi 1. Proposisi atomik Yaitu proposisi yang tidak dapat diuraikan menjadi beberapa proposisi penyusunnya. Contoh: a. Muhammad Hatta adalah presiden pertama RI. b. 3 + 4 = 7. c. 5 adalah bilangan genap.



2. Proposisi majemuk Yaitu proposisi yang terdiri dari beberapa proposisi atomik. Contoh: a. 5 adalah bilangan ganjil dan prima. b. Para pengunjung bazar akan mendapat laptop dan voucher pulsa gratis. c. Tidak ada mata kuliah yang sulit jika mahasiswa rajin belajar. d. Mahasiswa Tel-U pintar membuat program dan merakit hardware komputer.



Menentukan Nilai Kebenaran Menggunakan Tabel Kebenaran Contoh: Tentukan nilai kebenaran dari pernyataan-pernyataan berikut: 1. ๐‘ โˆงโˆผ ๐‘ 2. ๐‘ โˆจ ๐‘ž โˆจโˆผ ๐‘ 3. (๐‘ โˆง ๐‘ž) โ†’โˆผ ๐‘ 4. (



๐‘โˆง๐‘ž



) โ†’ (โˆผ ๐‘Ÿ โˆจโˆผ ๐‘ž)



11 | Logika Matematika



Latihan soal: A. Tentukan nilai kebenaran dari pernyataan-pernyataan berikut: 1. ๐‘ โ†’โˆผ ๐‘ž 2. (๐‘ โˆจโˆผ ๐‘) โŸทโˆผ ๐‘ž 3. (๐‘ โŸทโˆผ ๐‘ž) โˆง ๐‘ 4. (๐‘ โŠ•โˆผ ๐‘ž) โŸท ๐‘ž 5. (๐‘ž โŸทโˆผ ๐‘) โŠ• ๐‘ 6. (๐‘ โŠ• ๐‘ž) โˆงโˆผ ๐‘ B. Diketahui proposisi-proposisi berikut: ๐‘: Saya lulus ujian ๐‘ž: Saya akan mendapat hadiah motor ๐‘Ÿ: Saya akan mendapat tambahan uang jajan โ€œJika saya lulus ujian maka saya akan mendapat hadiah motor dan tambahan uang jajanโ€ Tentukan notasi logikanya dan buatlah tabel kebenarannya.



12 | Logika Matematika



Sifat Operator Implikasi Terdapat bentuk implikasi lain yang berkaitan dengan ๐‘ โ†’ ๐‘ž, yaitu proposisi sederhana yang merupakan varian dari implikasi. :๐‘ž โ†’๐‘



Konvers



q๏‚ฎp ~p๏‚ฎ~q ~q๏‚ฎ~p



Konvers (kebalikan): : โˆผ ๐‘ โ†’โˆผ ๐‘ž Invers : Kontraposisi : โˆผ ๐‘ž โ†’โˆผ ๐‘ : Kontraposisi Invers



:



p



q



~p



T T F F



T F T F



F F T T



Implikasi ~q p๏‚ฎq F T F T



T F T T



Konvers Invers Kontraposisi q๏‚ฎp ~p๏‚ฎ~q ~q๏‚ฎ~p T T F T



T T F T



T F T T



Contoh: Tentukan bentuk konvers, invers, dan kontraposisi dari: a. Jika Amir mempunyai mobil maka ia orang kaya Konvers



: Jika Amir orang kaya maka ia mempunyai mobil



Invers



: Jika Amir tidak mempunyai mobil maka ia bukan orang kaya



Kontraposisi : Jika Amir bukan orang kaya maka ia tidak mempunyai mobil b. Jika Icha menangis maka ia sakit perut Konvers



: JikaIcha sakit perut maka ia menangis



Invers



: Jika Icha tidak menangis maka ia tidak sakit perut



Kontraposisi : Jika Icha tidak sakit perut maka ia tidak menangis Latihan soal: Tentukan bentuk konvers, invers, dan kontraposisi dari kalimat โ€œKami akan pergi berkemah hari ini apabila hari tidak hujanโ€.



13 | Logika Matematika



Implikasi dalam Bahasa Pemrograman Cara kerja program komputer sebagian besar menggunakan konsep implikasi. Namun, implikasi logika yang telah dipelajari berbeda dengan implikasi pada program komputer. Skema singkat implikasinya adalah if ๐ถ then ๐‘† ๐ถ: ekspresi logika yang menyatakan syarat atau kondisi ๐‘†: satu atau lebih pernyataan yang akan dieksekusi ๐‘† dieksekusi jika ๐ถ yang diberikan bernilai benar (T), sedangkan ๐‘† tidak akan dieksekusi jika ๐ถ yang diberikan bernilai salah (F). Logika matematika yang telah dipelajari terletak pada kondisi yang menjadi syarat dieksekusinya suatu pernyataan. Contoh: 1.



if ๐‘ฅ > ๐‘ฆ then ๐‘ฆ โ‰” ๐‘ฅ + 10



2.



if 1 โˆ’ 2 = 3 then ๐‘ฅ โ‰” 2๐‘ฅ + 1 (diberikan ๐‘ฅ = 1, 2, 3, 4 sebagai input)



3.



if (1 + ๐‘ฅ = 3) โˆจ (2 + ๐‘ฅ = 4) then ๐‘ฅ โ‰” ๐‘ฅ + 5 (diberikan ๐‘ฅ = 1, 2, 3, 4 sebagai input)



4.



if (๐‘ฅ > 2) โŠ• (1 + 2 = 3) then ๐‘ฅ โ‰” 2 (diberikan ๐‘ฅ = 1, 2, 3, 4 sebagai input)



๐‘ฅ



Latihan soal: Tentukan output dari program komputer berikut, dengan ketentuan, jika kondisi tidak terpenuhi, program akan mengeluarkan nilai input. 1.



if (๐‘ฅ โ‰ฅ 3) โˆจ (8 โˆ’ ๐‘ฅ = 4) then ๐‘ฅ โ‰” ๐‘ฅ 2 + 1 (diberikan ๐‘ฅ = 1, 2, 3, 4 sebagai input)



2.



if (๐‘ฅ โ‰ค 2) โŠ• (2 + ๐‘ฅ 2 = 3) then ๐‘ฅ โ‰” ๐‘ฅ/5 (diberikan ๐‘ฅ = 1, 2, 3, 4 sebagai input)



14 | Logika Matematika



Operasi Bit pada Sistem Komputer Bit pada sistem komputer berupa angka 1 dan 0. Sedangkan susunan beberapa bit disebut string. Bit 1 digunakan untuk menyajikan nilai benar (T) dan bit 0 digunakan untuk menyajikan nilai salah (F). Operaso bit berupa konektivitas pada logika, yaitu โˆง,โˆจ, dan โŠ•. Syarat dua string dapat dioperasikan jika keduanya memiliki panjang bit yang sama. Contoh: Diberikan string ๐‘ฅ dan ๐‘ฆ. ๐‘ฅ = 01 1011 0110 ๐‘ฆ = 11 0001 1101 Tentukan string ๐‘ฅ โˆง ๐‘ฆ, ๐‘ฅ โˆจ ๐‘ฆ, dan ๐‘ฅ โŠ• ๐‘ฆ.



Latihan soal: Diberikan string ๐‘ฅ, ๐‘ฆ dan ๐‘ง. ๐‘ฅ = 10 1001 0110 ๐‘ฆ = 01 0001 1101 ๐‘ง = 11 0101 1000 Tentukan string (๐‘ฅ โˆง ๐‘ฆ) โˆจ ๐‘ง dan (๐‘ฅ โŠ• ๐‘ฆ) โˆง ๐‘ง.



15 | Logika Matematika



Latihan soal: 1. Tentukan notasi logika dan buatlah tabel kebenaran dari pernyataan berikut: a. Anda bisa mengakses internet dari kampus hanya jika anda jurusan Ilmu Komputer atau anda bukan mahasiswa baru. b. Kamu tidak bisa naik roller coaster jika tinggimu di bawah 4 kaki kecuali jika kamu berusia lebih dari 16 tahun. c. Mesin penjawab otomatis tidak dapat mengirimkan pesan ketika file system sedang full. d. Jika rusa itu waspada dan bergerak lebih cepat, maka buaya itu tidak akan mampu menangkapnya. e. Fahri akan membeli saham dan membeli properti untuk investasi, atau dia akan menanamkan uangnya di deposito bank. 2. Diketahui proposisi ๐‘ bernilai benar (T) dan ๐‘ž bernilai salah (F). Tentukan nilai kebenaran dari pernyataan (๐‘ โˆง ๐‘ž) โ†’โˆผ ๐‘. 3. Diketahui proposisi ๐‘ bernilai benar (T), ๐‘ž bernilai salah (F), dan ๐‘Ÿ bernilai benar (T). Tentukan nilai kebenaran dari pernyataan (๐‘ โˆง ๐‘ž) โ†’ (โˆผ ๐‘Ÿ โˆจโˆผ ๐‘ž). 4. Diketahui proposisi ๐‘ bernilai salah (F), ๐‘ž bernilai benar (T), dan ๐‘Ÿ bernilai salah (S). Tentukan nilai kebenaran dari pernyataan ๐‘ โ†’ (โˆผ ๐‘Ÿ โˆจ ๐‘ž). 5. Tentukan tabel kebenaran dari ekspresi logika berikut: a. (โˆผ ๐‘ โŸท ๐‘ž) โŠ•โˆผ (๐‘ž โ†’ ๐‘) b. [๐‘ โˆง (๐‘ž โˆจโˆผ ๐‘ž)] โ†’โˆผ ๐‘ c. โˆผ ๐‘ โŸท (๐‘ž โˆงโˆผ ๐‘Ÿ) d. (๐‘ โŠ•โˆผ ๐‘Ÿ) โ†’ [(๐‘ž โˆจ ๐‘Ÿ) โˆงโˆผ ๐‘]



16 | Logika Matematika



Aplikasi dalam Kehidupan Contoh: 1. Eri, Anto, dan Shinta adalah sekelompok hacker remaja. Mereka teridentifikasi membajak akun dan program pribadi Presiden RI. Berikut hasil interogasi aparat kepolisian. Aparat



: โ€œSiapa yang bersalah diantara kalian bertiga?โ€



Eri



: โ€œAnto bersalah dan Shinta tidak bersalahโ€



Anto



: โ€œJika Eri bersalah maka Shinta bersalahโ€



Shinta



: โ€œSaya tidak bersalah, tetapi Anto atau Eri bersalahโ€



Tentukan siapa yang bersalah (gunakan tabel kebenaran), bila aparat menemukan bahwa Anto telah berbohong, sementara kedua temannya mengatakan kebenaran.



2. Hari ini, Presiden RI dan tiga orang menteri Negara sedang rapat tertutup di istana Negara membahas isu kenaikan BBM. Hadir di sana Menteri Perekonomian, Menteri Keuangan, dan Menteri Sosial. Berikut hasil wawancara wartawan kepada para menteri. Wartawan : โ€œBagaimana hasil pembahasan rapat tadi, Pak?โ€ Menko



: โ€œHarga BBM dinaikkan atau harga bahan pokok melonjakโ€



Menkeu



: โ€œJika harga bahan pokok melonjak dan BBM dinaikkan maka Presiden akan didemo masaโ€



Mensos



: โ€œPak Presiden tidak akan didemo massa tetapi harga BBM tidak dinaikkanโ€



Tentukan hasil rapat yang diputuskan (gunakan tabel kebenaran), bila ternyata hanya Menko yang tidak berbohong tentang hasil rapat.



17 | Logika Matematika



Latihan soal: 1. Hari ini siswa sedang mengadakan UTS. Suasana kelas tenang dan senyap. Tiba-tiba, โ€œPletak!โ€ terdengar suara keras dari arah belakang. Andi, Agus, dan Aldi yang duduk di belakang terlihat panik. Guru : โ€œKertas contekan ini milik siapa?โ€ Andi



: โ€œKertas ini milik Aldi dan Agus, Pakโ€



Aldi



: โ€œJika kertas ini milik Andi atau Agus maka bukan milik saya, Pakโ€



Agus : โ€œYang jelas bukan milik saya atau Aldi, Pakโ€ Tentukan siapakah pemilik kertas contekan tersebut bila guru yakin bahwa Andi dan Aldi telah berbohong.



2. Petugas pajak sedang mencari alamat rumah paman Ali. Di tengah perjalanan ia bertemu Eri, Anto, dan Shinta yang merupakan keponakan paman Ali. Petugas : โ€œApa yang dimiliki paman kalian? Coba ceritakan!โ€ Eri



: โ€œJika paman Ali memiliki banyak uang maka ia memiliki rumah mewah atau mobil sportโ€



Anto



: โ€œPaman Ali tidak memiliki mobil sport atau tidak memiliki banyak uang tetapi memiliki rumah mewahโ€



Shinta : โ€œPaman Ali tidak memiliki rumah mewah atau memiliki mobil sportโ€ Tentukan apa saja yang dimiliki Paman Ali bila hanya Shinta yang tidak berbohong.



18 | Logika Matematika



Logic Puzzles Teka-teki (puzzle) yang bisa dipecahkan dengan menggunakan penalaran logis dikenal dengan istilah logic puzzles. Memecahkan logic puzzle ini merupakan cara terbaik untuk berlatih bekerja dengan aturan logika. Latihan soal: 1. Raymond Smullyan mengajukan banyak puzzle tentang sebuah pulau yang memiliki dua jenis penghuni, yaitu ksatria yang selalu mengatakan yang sebenarnya, dan penjahat yang selalu berbohong. Di pulau tersebut kamu bertemu dengan dua orang A dan B. A berkata โ€œB adalah ksatriaโ€ dan B berkata โ€œKami berdua adalah tipe yang berlawananโ€. Jadi, siapakah sebenarnya A dan B? 2. Bram, Peter, Rivana, dan Smith adalah empat seniman kreatif yang berbakat, satu penari, satu pelukis, satu penyanyi, dan satu penulis (tidak memperhatikan urutan). (a) Bram dan Rivana berada di antara penonton di malam sang penyanyi memulai debutnya dalam konser. (b) Baik Peter maupun si penulis telah menjadi model dari karya si pelukis. (c) Si penulis, dimana biografi Smith merupakan karya best seller, berencana untuk menulis biografi Bram. (d) Bram tidak pernah mendengar tentang Rivana. Apa bidang keahlian masing-masing seniman tersebut? 3. Tentukan korespondensi antara symbol (A, B, C) dan (P, Q, R) dengan keterangan berikut: (a) Jika A adalah P, C bukan R. (b) Jika B adalah P atau R, A adalah Q. (c) Jika A adalah Q atau R, B adalah P.



19 | Logika Matematika



4.



20 | Logika Matematika



Logic Circuits Logika proposisi dapat diaplikasikan pada desain perangkat keras sebuah komputer. Pada bab Aljabar Boolean akan dipelajari lebih mendalam. Logic circuits (rangkaian logika atau sirkuit digital) menerima sinyal input berupa ๐‘1 , ๐‘2 , โ€ฆ , ๐‘๐‘› , dengan setiap input berupa bit (0 untuk off dan 1 untuk on), dan menghasilkan sinyal output ๐‘ 1 , ๐‘ 2 , โ€ฆ , ๐‘ ๐‘› yang juga berupa bit. Pada subbab ini akan dipelajari rangkaian logika dengan output berupa sinyal tunggal. Rangkaian logika yang rumit disusun oleh tiga sirkuit dasar, yang disebut gerbang logika, yang merupakan operator logika. Gerbang not (inverter) untuk operator negasi, gerbang or untuk operator atau, dan gerbang and untuk operator dan.



(a) Inverter



(b) Gerbang Or



(c) Gerbang And



Input



Output



Input



Input



Output



Input



Input Output



(๐‘)



(โˆผ ๐‘)



(๐‘)



(๐‘ž)



(๐‘ โˆจ ๐‘ž)



(๐‘)



(๐‘ž)



(๐‘ โˆง ๐‘ž)



1



0



1



1



1



1



1



1



0



1



1



0



1



1



0



0



0



1



1



0



1



0



0



0



0



0



0



0



Secara matematis, gerbang logika dapat dinyatakan dalam bentuk fungsi dengan ketentuan berikut:



(a) ๐‘“(๐‘ฅ) = ๐‘ฅฬ…



(b) ๐‘“(๐‘ฅ, ๐‘ฆ) = ๐‘ฅ + ๐‘ฆ



(c) ๐‘“(๐‘ฅ, ๐‘ฆ) = ๐‘ฅ๐‘ฆ



21 | Logika Matematika



Contoh: 1. Buatlah rangkaian logika dari fungsi berikut. (a) ๐‘“(๐‘ฅ, ๐‘ฆ) = ๐‘ฅฬ… ๐‘ฆ (b) ๐‘“(๐‘ฅ, ๐‘ฆ, ๐‘ง) = ๐‘ฅฬ… ๐‘ฆ๐‘ง + ๐‘ฅ๐‘ฆฬ…๐‘ง 2. Tentukan fungsi dari rangkaian logika berikut. (a)



(b)



Latihan soal: 1. Buatlah rangkaian logika dari fungsi berikut. (a)



๐‘“(๐‘ฅ, ๐‘ฆ) = ๐‘ฅ + ๐‘ฆ + ๐‘ฅฬ… + ๐‘ฆฬ…



(b)



๐‘“(๐‘ฅ, ๐‘ฆ, ๐‘ง) = ๐‘ฅฬ… ๐‘ฆ๐‘ง + ๐‘ฅ๐‘ฆฬ…๐‘ง + ๐‘ฅ๐‘ฆ๐‘งฬ…



(c)



(๐‘ฅฬ… ๐‘ฆ๐‘ง + ๐‘ฅ๐‘ฆฬ…๐‘ง) ๐‘“(๐‘ฅ, ๐‘ฆ, ๐‘ง) = ฬ…ฬ…ฬ…ฬ…ฬ…ฬ…ฬ…ฬ…ฬ…ฬ…ฬ…ฬ…ฬ…ฬ…ฬ…ฬ…



(d)



๐‘“(๐‘ฅ, ๐‘ฆ) = (๐‘ฅ + ๐‘ฆ) + ๐‘ฅฬ… ๐‘ฆฬ…



(e)



ฬ…ฬ…ฬ…ฬ…ฬ…ฬ…ฬ…ฬ…ฬ…ฬ…ฬ…ฬ…ฬ…ฬ…ฬ… ๐‘“(๐‘ฅ, ๐‘ฆ, ๐‘ง) = (๐‘ฅ + ๐‘ฆ + ๐‘ง)



22 | Logika Matematika



2. Tentukan fungsi dari rangkaian logika berkut. (a)



(b)



(c)



23 | Logika Matematika