BAB 7 PENYEDERHANAAN

Ukuran: px
Mulai penontonan dengan halaman:

Download "BAB 7 PENYEDERHANAAN"

Transkripsi

1 BAB 7 PENYEDERHANAAN 1. Pendahuluan Bab ini membahaspenggunaan hukum-hukum logika pada operasi logika yang dinamakan penyederhaan (simplifying). Berbagai macam ekuivalensi dari berbagai ekpresi logika memberi kemudahan bagi penyederhanaan karena bentuk ekspresi logika yang rumit dapat disederhanakan. 2. Operasi penyederhanaan Operasi penyederhanaan akan menggunakan tabel berikut yang berisi berbagai ekuivalensi logis dan hukum-hukum logika proposisional: 1. Hukum Komutatif A B B A A B B A 2. Hukum Asosiatif (A B) C A (B C) (A B) C A (B C) 3. Hukum Distributif A (B C) (A B) (A C) A (B C) (A B) (A C) 4. Hukum Identitas A 1 A A 0 A 5. Hukum Ikatan A 1 1 A Hukum Negasi A A 1 A A 0 7. Hukum Negasi ganda ( A) A 8. Hukum Idempoten A A A A A A 9. Hukum De Morgan (A B) A B (A B) A B 10. Hukum Absorbsi A (A B) A A (A B) A 11. Negasi T dan F (A B) (A B) A 13. A B A B A B (A B) 14. A B (A B) ( A B) A B (A B) (B A) 15. (A B) (A B) A (A B) (A B) A 16. (A B) ( A B) A (A B) ( A B) A

2 Dalam tautologi, nilai kebenaran dapat diganti sebagai berikut: True (T) 1 False (F) 0 Sekarang dapat dicoba pada tabel kebenaran berikut: A 1 0 A 1 A 0 T T F T F F T F F F Dengan melihat nilai pada tabel kebenaran dapat disimpulkan bahwa: A 1 A A 0 0 Dengan tabel kebenaran juga dapat dibuktikan bahwa: A 1 1 A 0 A A 1 0 A 1 A 0 T T F T T F T F T F Untuk membuat penyederhanaan, pertama kali yang harus dihilangkan adalah perangkai implikasi ( ) dan perangkai ekuivalen ( ), dan dijadikan kombinasi dari perangkai konjungsi ( ), dijungsi ( ), dan negasi ( ). Lihat kesamaan logisnya seperti berikut: A B A B A B ( A B) ( B A) (A B) ( A B) Jika hasil penyederhaan bernilai1, maka tergolong tautologi. Jika 0 maka tergolong kontradiksi, sedangkan jika hasilnya tidak 1 ataupun 0, maka tergolong contingent. Hasil penyederhanaan sudah tidak memungkinkan proses manipulasi dilanjutkan.

3 Contoh: 1. (A 0) (A A) A (A A) hk. Identitas A 1 hk. Negasi A hk. Identitas 2. (A B) (A B C) (A B) (A (B C)) tambah kurung (A ( B (B C)) hk. Distributif (A ( B B) ( B C)) hk. Distributif (A (1 ( B C)) hk. Negasi (A ( B C)) hk. Identitas 3. (A B) A B A (A B) B hk. Komutatif ( A (A B)) B tambah kurung A (B B) hk. Asosiatif A 0 hk. Negasi 0 hk. Ikatan Sederhanakan bentuk bentuk logika berikut ini menjadi bentuk paling sederhana dan buktikan: 1. A (A B) A 2. A (A B) A 3. A (A B) A 4. (A B) (B A) (A B) ( A B) 5. ((A (B C)) (A (B C))) A 1 6. ((A B) A) B A B 7. ( A B) ((A B) A) A B

4 3. Menghilangkan perangkai dan Perangkai dasar yang sebenarnya hanya,, dan. Jadi, semua perangkai dapat dijelaskan hanya dengan tiga perangkai dasar atau alamiah tersebut. Dengan demikan perangkai implikasi dan ekuivalen dapat diganti dengan perangkai dasar. Perangkai implikasi dan ekuvalen dapat digunakan hukum logika pada tabel diatas: 1. A B A B 2. A B (A B) ( A B) 3. A B (A B) (B A) Contoh: 1. Hilangkan tanda dari ekuivalensi logis pada no 3 di atas: A B (A B) (B A) ( A B) ( B A) A B A B ( A B) A B) hk. Komutatif 2. Hilangkan tanda dan dari ekspresi logika berikut: (A B) C) ((C D) (B D)) (( A B) C) ((C D) (B D)) (( A B) C) (((C D) (D C)) (B D)) (( A B) C) ((( C D) ( D C)) (B D)) (( A B) C) (( C D) ( D C) (B D)) A B A B A B A B A B hapus kurung Hilangkan tanda dan dari ekspresi logika berikut ini dan sederhanakan jika mungkin: 1. A B 2. (A B) (B C) 4. Perangkai dasar Perangkai dasar atau perangkai alamiah hanya ada tiga yakni perangkai,, dan. Ketiga perangkai ini mampu menggantikan semuai perangkai lainnya dengan mengombinasikan ketiga perangkai tersebut. Ketiga perangkai dasar inilah yang membentuk gerbang-gerbang

5 (gates) yang menjadi dasar sistem digital, yakni gerbang dari (and gate), gerbang atau (or gate) dan gerbang tidak (not gate). Perangkai cukup sebenarnya hanya ingin menunjukkan bahwa ekspresi atau bentuk logika yang merangkai apa saja dapat diubah bentuknya menjadi ekspresi logika dengan memakai perangkai dasar yakni,, dan. Bahkan perangkai dapat diubah menjadi dan, sedangkan perangkai dat diubah menjadi dan. Contoh: (A A) A A) hk. De morgan A A hk. Negasi ganda Sampai disini sudah terbukti, tetapi masih dapat disederhanakan. 1 tautologi Buktikan apakah (A A) merupakan perangkai cukup? Perangkai Nand, sebenarnya dapat ditulis (A B) dengan membuat tabel kebenaran berikut: A A A A A T T F F F F T T Perhatikan tabel kebenaran di atas, ternyata hasilnya A A A Perhatikan tabel kenaran berikut: A B A B (A B) (A B) A B T T F T T T F T F F F T T F F F F T F F Jadi, (A B) (A B) A B

6 Dengan demikian perangkai Nand tergolong perangkai cukup karena ia dapat dijelaskan dengan perangkai dasar. Apakah perangkai Nor atau dapat ditulis (A B) tergolong perangkai cukup? Buktikan dua ekspresi logika berikut ekuivalen dengan penyederhanaan: 1. (A B) (B C) B (A C) 2. ( (A B) A) 1 3. ( A (C D)) (A C) (A D) 4. A ( A B) A B 5. ( A B) A B

BAB 6 EKUIVALENSI LOGIS

BAB 6 EKUIVALENSI LOGIS BAB 6 EKUIVALENSI LOGIS 1. Pendahuluan Bab ini akan membahas persamaan-persamaan antara dua buah ekspresi logika yang mungkin ekuivalen (sama), mungkin berbeda, yang kesamaan atau perbedaan tadi akan dibuktikan

Lebih terperinci

PERTEMUAN TAUTOLOGI, KONTRADIKSI, DAN CONTINGENT

PERTEMUAN TAUTOLOGI, KONTRADIKSI, DAN CONTINGENT PERTEMUAN 5 1.1 TAUTOLOGI, KONTRADIKSI, DAN CONTINGENT Tautologi adalah suatu bentuk kalimat yang selalu bernilai benar (True) tidak peduli bagaimanapun nilai kebenaran masing-masing kalimat penyusunnya,

Lebih terperinci

EKUIVALENSI LOGIS. Dr. Julan HERNADI & (Asrul dan Enggar) Pertemuan 3 FONDASI MATEMATIKA. Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo

EKUIVALENSI LOGIS. Dr. Julan HERNADI & (Asrul dan Enggar) Pertemuan 3 FONDASI MATEMATIKA. Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo Pertemuan 3 FONDASI MATEMATIKA Variasi bentuk implikasi Berangkat dari implikasi p q kita dapat membentuk tiga pernyataan implikasi relevan yang

Lebih terperinci

STMIK Banjarbaru EKUIVALENSI LOGIKA. 10/15/2012 H. Fitriyadi & F. Soesianto

STMIK Banjarbaru EKUIVALENSI LOGIKA. 10/15/2012 H. Fitriyadi & F. Soesianto 1 EKUIVALENSI LOGIKA 2 Pada tautologi dan kontradiksi, dapat dipastikan bahwa jika dua buah ekspresi logika adalah tautologi, maka kedua buah ekspresi logika tersebut ekuivalen secara logis, demikian pula

Lebih terperinci

Algoritma & Pemrograman 2C Halaman 1 dari 7 ALJABAR BOOLEAN

Algoritma & Pemrograman 2C Halaman 1 dari 7 ALJABAR BOOLEAN Algoritma & Pemrograman 2C Halaman 1 dari 7 ALJAAR OOLEAN Aljabar boolean merupakan aljabar yang berhubungan dengan variabel-variabel biner dan operasi-operasi logik. Variabel-variabel diperlihatkan dengan

Lebih terperinci

BAN 10 BENTUK NORMAL

BAN 10 BENTUK NORMAL BAN 10 BENTUK NORMAL 1. Pendahuluan Ekspresi logika mempunyai berbagai bentuk, mulai dari yang rumit sampai dengan yang sederhana. Bentuk yang rumit adalah bentuk dengan banyak jenis perangkai, variabel

Lebih terperinci

Representasi Boolean

Representasi Boolean Aljabar Boolean Boolean Variable dan Tabel Kebenaran Gerbang Logika Aritmatika Boolean Identitas Aljabar Boolean Sifat-sifat Aljabar Boolean Aturan Penyederhanaan Boolean Fungsi Eksklusif OR Teorema De

Lebih terperinci

BAB 5 TAUTOLOGI. 1. Pendahuluan. 2. Evaluasi validitas argumen

BAB 5 TAUTOLOGI. 1. Pendahuluan. 2. Evaluasi validitas argumen BAB 5 TAUTOLOGI 1. Pendahuluan Mengubah suatu argumen atau pernyataan-pernyataan menjadi suatu ekspresi logika, tentunya harus mengenali sub-subekspresinya. Salah satunya dengan membentuk Parse Tree yang

Lebih terperinci

Konvers, Invers dan Kontraposisi

Konvers, Invers dan Kontraposisi MODUL 5 Konvers, Invers dan Kontraposisi Represented by : Firmansyah,.Kom A. TEMA DAN TUJUAN KEGIATAN PEMELAJARAN 1. Tema Konvers, Invers dan Kontraposisi 2. Fokus Pembahasan Materi Pokok 1. Konvers, invers

Lebih terperinci

Representasi Kalimat Logika ke dalam Matriks Trivia

Representasi Kalimat Logika ke dalam Matriks Trivia Representasi Kalimat Logika ke dalam Matriks Trivia Rio Chandra Rajagukguk 13514082 Program Studi Informatika Sekolah Teknik Elektro dan Informatika Institut Teknologi Bandung, Jl. Ganesha 10 Bandung 40132,

Lebih terperinci

BAB I PENDAHULUAN. a. Apa sajakah hukum-hukum logika dalam matematika? b. Apa itu preposisi bersyarat?

BAB I PENDAHULUAN. a. Apa sajakah hukum-hukum logika dalam matematika? b. Apa itu preposisi bersyarat? BAB I PENDAHULUAN 1.1 LATAR BELAKANG Secara etimologi, istilah Logika berasal dari bahasa Yunani, yaitu logos yang berarti kata, ucapan, pikiran secara utuh, atau bisa juga ilmu pengetahuan. Dalam arti

Lebih terperinci

I. Judul Percobaan Rangkaian Gerbang Logika dan Aljabar Boolean

I. Judul Percobaan Rangkaian Gerbang Logika dan Aljabar Boolean I. Judul Percobaan Rangkaian Gerbang Logika dan Aljabar Boolean II. Tujuan Percobaan 1. Praktikan memahami antara input dan output pada rangkaian logika AND, OR, NOT, XOR, NAND, NOR dan XNOR. 2. Praktikan

Lebih terperinci

Berdasarkan tabel 1 diperoleh bahwa p q = q p.

Berdasarkan tabel 1 diperoleh bahwa p q = q p. PEMAHAAN 1. Pengertian Kata LOGIKA mengacu pada suatu metode atau cara yang sistematis dalam berpikir (reasoning), dan terdapat dua sistem khusus yaitu : suatu metode dasar yang disebut dengan Kalkulus

Lebih terperinci

PERTEMUAN 2 TABEL KEBENARAN DADANG MULYANA. TABEL KEBENARAN (TB) digunakan untuk menyajikan hubungan antara nilai kebenaran sejumlah proposisi.

PERTEMUAN 2 TABEL KEBENARAN DADANG MULYANA. TABEL KEBENARAN (TB) digunakan untuk menyajikan hubungan antara nilai kebenaran sejumlah proposisi. PEREMUAN 2 ABEL KEBENARAN DADANG MULYANA ABEL KEBENARAN (B) digunakan untuk menyajikan hubungan antara nilai kebenaran sejumlah proposisi. ABEL 1 : B untuk proposisi dan negasinya p p MASALAH LOGIKA 1

Lebih terperinci

Mata Kuliah Arsitektur Komputer Program Studi Sistem Informasi 2013/2014 STMIK Dumai -- Materi 08 --

Mata Kuliah Arsitektur Komputer Program Studi Sistem Informasi 2013/2014 STMIK Dumai -- Materi 08 -- Mata Kuliah Arsitektur Komputer Program Studi Sistem Informasi 23/24 STMIK Dumai -- Materi 8 -- Digital Principles and Applications, Leach-Malvino, McGraw-Hill Adhi Yuniarto L.Y. Boolean Algebra. Fasilkom

Lebih terperinci

PROPOSISI MATEMATIKA SISTEM INFORMASI 1

PROPOSISI MATEMATIKA SISTEM INFORMASI 1 PROPOSISI MATEMATIKA SISTEM INFORMASI 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements). Proposisi Pernyataan atau kalimat

Lebih terperinci

DASAR-DASAR LOGIKA. Pertemuan 2 Matematika Diskrit

DASAR-DASAR LOGIKA. Pertemuan 2 Matematika Diskrit DASAR-DASAR LOGIKA Pertemuan 2 Matematika Diskrit 25-2-2013 Materi Pembelajaran 1. Kalimat Deklaratif 2. Penghubung kalimat 3. Tautologi dan Kontradiksi 4. Konvers, Invers, dan Kontraposisi 5. Inferensi

Lebih terperinci

BAB 4 PROPOSISI. 1. Pernyataan dan Nilai Kebenaran

BAB 4 PROPOSISI. 1. Pernyataan dan Nilai Kebenaran BAB 4 PROPOSISI 1. Pernyataan dan Nilai Kebenaran Ilmu logika adalah berhubungan dengan kalimat-kalimat (argumen-argumen) dan hubungan yang ada diantara kalimat-kalimat tersebut. Tujuannya adalah memberikan

Lebih terperinci

LOGIKA PROPOSISI. Bagian Keempat : Logika Proposisi

LOGIKA PROPOSISI. Bagian Keempat : Logika Proposisi LOGIKA PROPOSISI Bagian Keempat : Logika Proposisi ARI FADLI, S.T. Logika Proposisi Tujuan : Mahasiswa dapat menyebutkan tentang logika proposisi, operator dan sifat proposisi Proposisi Definisi : Setiap

Lebih terperinci

LOGIKA PROPOSISI 3.1 Proposisi logika proposisional. Contoh : tautologi yaitu proposisi-proposisi yang nilainya selalu benar. Contoh 3.

LOGIKA PROPOSISI 3.1 Proposisi logika proposisional. Contoh : tautologi yaitu proposisi-proposisi yang nilainya selalu benar. Contoh 3. LOGIKA PROPOSISI 3.1 Proposisi Proposisi adalah suatu pernyataan yang bernilai benar atau salah, tetapi tidak dapat sekaligus keduanya. Kebenaran atau kesalahan dari sebuah kalimat disebut nilai kebenarannya.

Lebih terperinci

Matematika Industri I

Matematika Industri I LOGIKA MATEMATIKA TIP FTP - UB Pokok Bahasan Proposisi dan negasinya Nilai kebenaran dari proposisi Tautologi Ekuivalen Kontradiksi Kuantor Validitas pembuktian Pokok Bahasan Proposisi dan negasinya Nilai

Lebih terperinci

Pertemuan 2. Proposisi Bersyarat

Pertemuan 2. Proposisi Bersyarat Pertemuan 2 Proposisi ersyarat Proposisi ersyarat Definisi 4 Misalkan p dan q adalah proposisi. Proposisi majemuk jika p, maka q disebut proposisi bersyarat (implikasi dan dilambangkan dengan p q Proposisi

Lebih terperinci

LOGIKA & PEMBUKTIAN. Anita T. Kurniawati, MSi LOGIKA

LOGIKA & PEMBUKTIAN. Anita T. Kurniawati, MSi LOGIKA LOGIKA & PEMBUKTIAN Anita T. Kurniawati, MSi LOGIKA Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements). 1 Definisi: Kalimat deklaratif

Lebih terperinci

LOGIKA INFORMATIKA. Bahan Ajar

LOGIKA INFORMATIKA. Bahan Ajar LOGIKA INFORMATIKA Bahan Ajar Digunakan sebagai salah satu bahan ajar mata kuliah Logika Informatika Oleh Achmad Fauzan TEKNIK INFORMATIKA POLITEKNIK HARAPAN BERSAMA TEGAL 2016 Bab 1 Pengantar Logika Proposisional

Lebih terperinci

MATERI 1 PROPOSITIONAL LOGIC

MATERI 1 PROPOSITIONAL LOGIC MATERI 1 PROPOSITIONAL LOGIC 1.1 Pengantar Beberapa pernyataan (statement) dapat langsung diterima kebenarannya tanpa harus tahu kebenaran pembentuknya Ada kehidupan di Bulan atau tidak ada kehidupan di

Lebih terperinci

Logika. Arum Handini Primandari, M.Sc. Ayundyah Kesumawati, M.Si.

Logika. Arum Handini Primandari, M.Sc. Ayundyah Kesumawati, M.Si. Logika Arum Handini Primandari, M.Sc. Ayundyah Kesumawati, M.Si. Logika Matematika Kalimat Terbuka dan Tertutup Kalimat terbuka adalah kalimat yang tidak mengandung nilai kebenaran Contoh: Semoga kamu

Lebih terperinci

LOGIKA MATEMATIKA SOAL DAN PENYELESAIAN Logika, Himpunan, Relasi, Fungsi JONG JEK SIANG Kita menjalani hidup dari apa yang kita dapatkan Tetapi kita menikmati hidup dari apa yang kita berikan Jong Jek

Lebih terperinci

Definisi Aljabar Boolean

Definisi Aljabar Boolean Aljabar Boolean 1 Definisi Aljabar Boolean Aljabar boolean merupakan aljabar yang berhubungan dengan variabel-variabel biner dan operasi-operasi logik. Variabel-variabel diperlihatkan dengan huruf-huruf

Lebih terperinci

Berpikir Komputasi. Sisilia Thya Safitri, MT Citra Wiguna, M.Kom. 3 Logika Proposisional (I)

Berpikir Komputasi. Sisilia Thya Safitri, MT Citra Wiguna, M.Kom. 3 Logika Proposisional (I) Berpikir Komputasi Sisilia Thya Safitri, MT Citra Wiguna, M.Kom 3 Logika Proposisional (I) Capaian Sub Pembelajaran Mahasiswa dapat memahami logika proposisional sebagai dasar penerapan algoritma. Outline

Lebih terperinci

LOGIKA MATEMATIKA LOGIKA. Altien Jonathan Rindengan, S.Si, M.Kom

LOGIKA MATEMATIKA LOGIKA. Altien Jonathan Rindengan, S.Si, M.Kom LOGIKA MATEMATIKA LOGIKA Altien Jonathan Rindengan, S.Si, M.Kom Pendahuluan Untuk menemukan suatu gagasan baru dari informasi dan gagasan yang telah ada, diperlukan proses berpikir. Proses ini dikenal

Lebih terperinci

Logika Proposisi. Pertemuan 2 (Chapter 10 Schaum, Set Theory) (Chapter 3/4 Schaum, Theory Logic)

Logika Proposisi. Pertemuan 2 (Chapter 10 Schaum, Set Theory) (Chapter 3/4 Schaum, Theory Logic) Logika Proposisi Pertemuan 2 (Chapter 10 Schaum, Set Theory) (Chapter 3/4 Schaum, Theory Logic) Logika Proposisional Tujuan pembicaraan kali ini adalah untuk menampilkan suatu bahasa daripada kalimat abstrak

Lebih terperinci

LOGIKA Ponco Wali Pranoto PTI FT UNY create: Ratna W.

LOGIKA Ponco Wali Pranoto PTI FT UNY create: Ratna W. LOGIKA Materi Perkuliahan Konsep Proposisi Majemuk Manfaat Skema Parsing Precedence Rules Tautologi, Kontradiksi dan Contingen Ekspresi Logika (1) Ekspresi Logika adalah proposisi-proposisi yang dibangun

Lebih terperinci

BAB 6 ALJABAR BOOLE. 1. Definisi Dasar MATEMATIKA DISKRIT

BAB 6 ALJABAR BOOLE. 1. Definisi Dasar MATEMATIKA DISKRIT BAB 6 ALJABAR BOOLE 1. Definisi Dasar Himpunan dan proposisi mempunyai sifat yang serupa yaitu memenuhi hukum identitas. Hukum ini digunakan untuk mendefinisikan struktur matematika abstrak yang disebut

Lebih terperinci

Modul ke: Logika Matematika. Proposisi & Kuantor. Fakultas FASILKOM BAGUS PRIAMBODO. Program Studi SISTEM INFORMASI.

Modul ke: Logika Matematika. Proposisi & Kuantor. Fakultas FASILKOM BAGUS PRIAMBODO. Program Studi SISTEM INFORMASI. Modul ke: 5 Logika Matematika Proposisi & Kuantor Fakultas FASILKOM BAGUS PRIAMBODO Program Studi SISTEM INFORMASI http://www.mercubuana.ac.id Materi Pembelajaran Kalkulus Proposisi Konjungsi Disjungsi

Lebih terperinci

LOGIKA. /Nurain Suryadinata, M.Pd

LOGIKA. /Nurain Suryadinata, M.Pd Nama Mata Kuliah Kode Mata Kuliah/SKS Program Studi Semester Dosen Pengampu : Matematika Diskrit : MAT-3615/ 3 sks : Pendidikan Matematika : VI (Enam) : Nego Linuhung, M.Pd /Nurain Suryadinata, M.Pd Referensi

Lebih terperinci

LOGIKA. Ratna Wardani Pendidikan Teknik Informatika. 10/28/2008> Pertemuan-1-2 1

LOGIKA. Ratna Wardani Pendidikan Teknik Informatika. 10/28/2008> Pertemuan-1-2 1 LOGIKA Ratna Wardani Pendidikan Teknik Informatika 10/28/2008> Pertemuan-1-2 1 Materi Perkuliahan Konsep Proposisi Majemuk Manfaat Skema Parsing Precedence Rules Tautologi, Kontradiksi dan Contingen 10/28/2008>

Lebih terperinci

Pusat Pengembangan Pendidikan Universitas Gadjah Mada 1

Pusat Pengembangan Pendidikan Universitas Gadjah Mada 1 2. ALJABAR LOGIKA 2.1 Pernyataan / Proposisi Pernyataan adalah suatu kalimat yang mempunyai nilai kebenaran (benar atau salah), tetapi tidak keduanya. Contoh 1 : P = Tadi malam BBM mulai naik (memiliki

Lebih terperinci

Logika Proposisional Ema Utami STMIK AMIKOM Yogyakarta

Logika Proposisional Ema Utami STMIK AMIKOM Yogyakarta Logika Proposisional Ema Utami STMIK AMIKOM Yogyakarta Logika proposisional merupakan ilmu dasar untuk mempelajari algoritma dan logika yang terkait di dalamnya yang berperanan sangat penting dalam pemrograman.

Lebih terperinci

BAB 6 ALJABAR BOOLE. 1. Definisi Dasar. Teorema 1 MATEMATIKA DISKRIT

BAB 6 ALJABAR BOOLE. 1. Definisi Dasar. Teorema 1 MATEMATIKA DISKRIT BAB 6 ALJABAR BOOLE 1. Definisi Dasar Himpunan dan proposisi mempunyai sifat yang serupa yaitu memenuhi hukum identitas. Hukum ini digunakan untuk mendefinisikan struktur matematika abstrak yang disebut

Lebih terperinci

Definisi Aljabar Boolean

Definisi Aljabar Boolean 1 UNTUK DOWNLOAD LEBIH BANYAK EBOOKS TENTANG KOMPUTER KUNJUNGI http://wirednotes.blogspot.com Definisi Aljabar Boolean Misalkan terdapat - Dua operator biner: + dan - Sebuah operator uner: - B : himpunan

Lebih terperinci

Proposition Logic. (Logika Proposisional) Bimo Sunarfri Hantono

Proposition Logic. (Logika Proposisional) Bimo Sunarfri Hantono Proposition Logic (Logika Proposisional) Bimo Sunarfri Hantono bimo@te.ugm.ac.id Proposition (pernyataan) Merupakan komponen penyusun logika dasar yang dilambangkan dengan huruf kecil (p, q, r,...) yang

Lebih terperinci

LOGIKA DAN PEMBUKTIAN

LOGIKA DAN PEMBUKTIAN BAB I LOGIKA DAN PEMBUKTIAN A. PENGANTAR Prinsip dari logika matematika memiliki korelasi dengan pembuktian kebenaran yang dilakukan menggunakan tabel kebenaran ataupun tanpa menggunakan tabel kebenaran

Lebih terperinci

Matematika Logika Aljabar Boolean

Matematika Logika Aljabar Boolean Pertemuan ke-3 Matematika Logika Aljabar Boolean Oleh : Mellia Liyanthy TEKNIK INFORMATIKA UNIVERSITAS PASUNDAN TAHUN AJARAN 2011/2012 Definisi Aljabar Boolean merupakan aljabar yang terdiri atas : suatu

Lebih terperinci

LOGIKA MATEMATIKA. MATEMATiKA DISKRET S1-SISTEM INFORMATIKA STMIK AMIKOM. proposisi conjungsi tautologi inferensi

LOGIKA MATEMATIKA. MATEMATiKA DISKRET S1-SISTEM INFORMATIKA STMIK AMIKOM. proposisi conjungsi tautologi inferensi LOGIKA MATEMATIKA MATEMATiKA DISKRET S1-SISTEM INFORMATIKA STMIK AMIKOM Definisi Proposisi adalah suatu kalimat yang bernilai benar atau salah dan tidak keduanya Proposisi Kalimat Deklaratif Proposisi

Lebih terperinci

PENGERTIAN. Proposisi Kalimat deklaratif yang bernilai benar (true) atau salah (false), tetapi tidak keduanya. Nama lain proposisi: kalimat terbuka.

PENGERTIAN. Proposisi Kalimat deklaratif yang bernilai benar (true) atau salah (false), tetapi tidak keduanya. Nama lain proposisi: kalimat terbuka. BAB 2 LOGIKA PENGERTIAN Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements). Proposisi Kalimat deklaratif yang

Lebih terperinci

KALKULUS PERNYATAAN. Totologi & Kontradiksi. Tingkat Kekuatan Operator. Tabel Kebenaran 9/30/2013. Nur Insani, M.Sc

KALKULUS PERNYATAAN. Totologi & Kontradiksi. Tingkat Kekuatan Operator. Tabel Kebenaran 9/30/2013. Nur Insani, M.Sc KALKULUS PERNYATAAN Totologi & Kontradiksi Nur Insani, M.Sc Satu atau lebih proposisi dapat dikombinasikan untuk menghasilkan proposisi baru lewat penggunaan operator logika: negasi (-), dan (^), atau

Lebih terperinci

Rangkaian digital yang ekivalen dengan persamaan logika. Misalnya diketahui persamaan logika: x = A.B+C Rangkaiannya:

Rangkaian digital yang ekivalen dengan persamaan logika. Misalnya diketahui persamaan logika: x = A.B+C Rangkaiannya: ALJABAR BOOLEAN Aljabar Boolean Aljabar Boolean adalah aljabar yang menangani persoalan-persoalan logika. Aljabar Boolean menggunakan beberapa hukum yang sama seperti aljabar biasa untuk fungsi OR (Y =

Lebih terperinci

Selamat datang di Perkuliahan LOGIKA MATEMATIKA Logika Matematika Teori Himpunan Teori fungsi

Selamat datang di Perkuliahan LOGIKA MATEMATIKA Logika Matematika Teori Himpunan Teori fungsi Selamat datang di Perkuliahan LOGIKA MAEMAIKA Logika Matematika eori Himpunan eori fungsi Dosen : Dr. Julan HERNADI PUSAKA : Kenneth H Rossen, Discrete mathematics and its applications, fifth edition.

Lebih terperinci

Logika Matematika Teori Himpunan

Logika Matematika Teori Himpunan Pertemuan ke-2 Logika Matematika Teori Himpunan Oleh : Mellia Liyanthy TEKNIK INFORMATIKA UNIVERSITAS PASUNDAN TAHUN AJARAN 2007/2008 Perampatan Operasi Himpunan A1 A2... An = Ai A1 U A2 U... U An = U

Lebih terperinci

Aljabar Boolean dan Gerbang Logika Dasar

Aljabar Boolean dan Gerbang Logika Dasar Modul 1 : Aljabar Boolean dan Gerbang Logika Dasar 1.1 Tujuan Setelah mengikuti praktek ini mahasiswa diharapkan dapat: 1. Memahami Aksioma dan Teorema Aljabar Boolean. 2. Memahami gerbang logika dasar

Lebih terperinci

LOGIKA. Arum Handini Primandari

LOGIKA. Arum Handini Primandari LOGIKA Arum Handini Primandari LOGIKA MATEMATIKA KALIMAT TERBUKA DAN TERTUTUP Kalimat terbuka adalah kalimat yang tidak mengandung nilai kebenaran Contoh: Apakah kamu tahu pencipta lagu PPAP? Semoga ujian

Lebih terperinci

Tabel kebenaran untuk dua masukan (input) Y = AB + AB A B Y

Tabel kebenaran untuk dua masukan (input) Y = AB + AB A B Y G.Gerbang X-OR dan Gerbang X-NOR 1. Gerbang X-OR dalah komponen logika yang keluarannya bernilai 1 bila terminal masukannya tidak sama, atau dengan persamaan ditulis : Y = + Simbol gerbang X-OR untuk dua

Lebih terperinci

MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT

MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT Penulis : Nelly Indriani Widiastuti S.Si., M.T. JURUSAN TEKNIK INFORMATIKA UNIVERSITAS KOMPUTER INDONESIA BANDUNG 2011 DAFTAR ISI Daftar Isi. 2 Bab 1 LOGIKA

Lebih terperinci

Teori Dasar Himpunan. Julan HERNADI. December 27, Program Studi Pendidikan Matematika Universitas Muhammadiyah, Ponorogo

Teori Dasar Himpunan. Julan HERNADI. December 27, Program Studi Pendidikan Matematika Universitas Muhammadiyah, Ponorogo 1 Program Studi Pendidikan Matematika Universitas Muhammadiyah, Ponorogo December 27, 2012 PENGERTIAN DASAR Denition Himpunan merupakan koleksi objek-objek yang disebut anggota atau elemen himpunan tersebut.

Lebih terperinci

Logika Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed

Logika Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed Logika Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed Iwan Setiawan Tahun Ajaran 2013/2014 Logika Klasik Matematika Diskret (TKE132107) - Program Studi Teknik

Lebih terperinci

ALJABAR BOLEAN. Hukum hukum ALjabar Boolean. 1. Hukum Komutatif

ALJABAR BOLEAN. Hukum hukum ALjabar Boolean. 1. Hukum Komutatif LJBR BOLEN Diktat Elektronika Digital ljabar Boolean Dalam matematika dan ilmu komputer, ljabar Boolean adalah struktur aljabar yang "mencakup intisari" operasi logika DN, TU dan TIDK dan juga teori himpunan

Lebih terperinci

BAB 8 STRATEGI PEMBALIKAN

BAB 8 STRATEGI PEMBALIKAN BAB 8 STRATEGI PEMBALIKAN 1. Pendahuluan Strategi pembalikan (refutation strategy) digunakan untuk membuktikan validitas suatu ekspresi logika untuk argumen; dan untuk memastikan nilai-nilai premis benar

Lebih terperinci

IMPLEMENTASI STRATEGI PERLAWANAN UNTUK PEMBUKTIAN VALIDITAS ARGUMEN DENGAN METODE REDUCTIO AD ABSURDUM

IMPLEMENTASI STRATEGI PERLAWANAN UNTUK PEMBUKTIAN VALIDITAS ARGUMEN DENGAN METODE REDUCTIO AD ABSURDUM IMPLEMENTASI STRATEGI PERLAWANAN UNTUK PEMBUKTIAN VALIDITAS ARGUMEN DENGAN METODE REDUCTIO AD ABSURDUM Abstrak Pembuktian validitas argumen dengan menggunakan tabel kebenaran memerlukan baris dan kolom

Lebih terperinci

Aljabar Boolean. Rudi Susanto

Aljabar Boolean. Rudi Susanto Aljabar Boolean Rudi Susanto Tujuan Pembelajaran Bisa menghasilkan suatu realisasi rangkaian elektronika digital dari suatu persamaan logika matematika Persamaan logika matematika tersebut dimodifikasi

Lebih terperinci

LOGIKA INFORMATIKA. Bahan Ajar

LOGIKA INFORMATIKA. Bahan Ajar LOGIKA INFORMATIKA Bahan Ajar Digunakan sebagai salah satu bahan ajar mata kuliah Logika Informatika Oleh Achmad Fauzan TEKNIK INFORMATIKA POLITEKNIK HARAPAN BERSAMA TEGAL 2016 Daftar Isi Daftar Isi ii

Lebih terperinci

MAKALAH RANGKUMAN MATERI LOGIKA MATEMATIKA : NURHIDAYAT NIM : DBC

MAKALAH RANGKUMAN MATERI LOGIKA MATEMATIKA : NURHIDAYAT NIM : DBC MAKALAH RANGKUMAN MATERI LOGIKA MATEMATIKA Nama : NURHIDAYAT NIM : DC 113 055 JURUAN TEKNIK INFORMATIKA FAKULTA TEKNIK UNIVERITA PALANGKA RAYA 2013 A I PENGERTIAN Logika adalah dasar dan alat berpikir

Lebih terperinci

MATEMATIKA DISKRIT LOGIKA

MATEMATIKA DISKRIT LOGIKA MATEMATIKA DISKRIT LOGIKA Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda tidak sulit belajar Bahasa Java. Jika anda tidak suka begadang maka anda bukan mahasiswa Informatika.

Lebih terperinci

BAB 1 : DASAR-DASAR LOGIKA

BAB 1 : DASAR-DASAR LOGIKA BAB 1 : DASAR-DASAR LOGIKA 1.1 PENGERTIAN UMUM LOGIKA Filsafat dan matematika adalah bidang pengetahuan rasional yang ada sejak dahulu. Jauh sebelum matematika berkembang seperti sekarang ini dan penerapannya

Lebih terperinci

PERCOBAAN DIGITAL 01 GERBANG LOGIKA DAN RANGKAIAN LOGIKA

PERCOBAAN DIGITAL 01 GERBANG LOGIKA DAN RANGKAIAN LOGIKA PERCOBAAN DIGITAL GERBANG LOGIKA DAN RANGKAIAN LOGIKA .. TUJUAN PERCOBAAN. Mengenal berbagai jenis gerbang logika 2. Memahami dasar operasi logika untuk gerbang AND, NAND, OR, NOR. 3. Memahami struktur

Lebih terperinci

FM-UDINUS-PBM-08-04/R0

FM-UDINUS-PBM-08-04/R0 SILABUS MATAKULIAH Revisi : 0 Tanggal Berlaku : Mei 2009 A. Identitas 1. Nama Matakuliah : A22.53112/ Logika Matematika 2. Program Studi : Teknik Informatika-D3 3. Fakultas : Ilmu Komputer 4. Bobot sks

Lebih terperinci

Pernyataan adalah kalimat yang bernilai benar atau salah tetapi tidak sekaligus benar dan salah.

Pernyataan adalah kalimat yang bernilai benar atau salah tetapi tidak sekaligus benar dan salah. LOGIKA MATEMATIKA 1. Pernyataan Pernyataan adalah kalimat yang bernilai benar atau salah tetapi tidak sekaligus benar dan salah. Pernyataan dilambangkan dengan huruf kecil, misalnya p, q, r dan seterusnya.

Lebih terperinci

TABEL KEBENARAN. Liduina Asih Primandari, S.Si.,M.Si. P a g e 8

TABEL KEBENARAN. Liduina Asih Primandari, S.Si.,M.Si. P a g e 8 P a g e 8 TABEL KEBENARAN A. Logika Proposisional dan Predikat Logika proposional adalah logika dasar yang harus dipahami programmer karena logika ini yang menjadi dasar dalam penentuan nilai kebenaran

Lebih terperinci

LAPORAN PRAKTIKUM SISTEM DIGITAL PEMBUKTIAN DALIL-DALIL ALJABAR BOOLEAN

LAPORAN PRAKTIKUM SISTEM DIGITAL PEMBUKTIAN DALIL-DALIL ALJABAR BOOLEAN LAPORAN PRAKTIKUM SISTEM DIGITAL PEMBUKTIAN DALIL-DALIL ALJABAR BOOLEAN Dosen Pengampu : Shoffin Nahwa Utama, M.T. Disusun Oleh: MUHAMMAD IBRAHIM NIM : 362015611040 FAKULTAS SAINS DAN TEKNOLOGI TEKNIK

Lebih terperinci

LOGIKA (LOGIC) Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataanpernyataan

LOGIKA (LOGIC) Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataanpernyataan LOGIKA (LOGIC) Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataanpernyataan (statements). Proposisi kalimat deklaratif yang bernilai benar (true)

Lebih terperinci

Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements).

Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements). Logika (logic) 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements). Proposisi Kalimat deklaratif yang bernilai

Lebih terperinci

BAB III ALJABAR BOOLE (BOOLEAN ALGEBRA)

BAB III ALJABAR BOOLE (BOOLEAN ALGEBRA) TEKNIK DIGITAL-ALJABAR Boole/HAL. 1 BAB III ALJABAR BOOLE (BOOLEAN ALGEBRA) PRINSIP DASAR ALJABAR BOOLE Aljabar boole adalah suatu teknik matematika yang dipakai untuk menyelesaikan masalah-masalah logika.

Lebih terperinci

BAB 3 TABEL KEBENARAN

BAB 3 TABEL KEBENARAN BAB 3 TABEL KEBENARAN 1. Pendahuluan Logika adalah ilmu tentang penalaran (reasoning). Penalaran berarti mencari bukti validitas dari suatu argumen, mencari konsistensi dan pernyataan-pernyataan, dan membahas

Lebih terperinci

Matematika informatika 1 ALJABAR BOOLEAN

Matematika informatika 1 ALJABAR BOOLEAN Matematika informatika 1 ALJABAR BOOLEAN ALJABAR BOOLEAN Matematika yang digunakan untuk menganalisis dan menyederhanakan Gerbang Logika pada Rangkaian-rangkaian Digital Elektronika. Boolean pada dasarnya

Lebih terperinci

BAB I1 : DASAR-DASAR LOGIKA

BAB I1 : DASAR-DASAR LOGIKA DAFTAR ISI BAB 1 : PENDAHULUAN 1.1. Pengertian Logika 1.2. Logika dan Komputer BAB I1 : DASAR-DASAR LOGIKA 2.1 Pengertian Umum Logika 2.2 Logika dan Pernyataan 2.2.1 Logika 2.2.2 Pernyataan (Proposisi)

Lebih terperinci

BAB II ALJABAR BOOLEAN DAN GERBANG LOGIKA

BAB II ALJABAR BOOLEAN DAN GERBANG LOGIKA BAB II ALJABAR BOOLEAN DAN GERBANG LOGIKA Alokasi Waktu : 8 x 45 menit Tujuan Instruksional Khusus : 1. Mahasiswa dapat menjelaskan theorema dan sifat dasar dari aljabar Boolean. 2. Mahasiswa dapat menjelaskan

Lebih terperinci

1.3 Pembuktian Tautologi dan Kontradiksi. Pernyataan majemuk yang selalu bernilai benar bagaimanapun nilai proposisi

1.3 Pembuktian Tautologi dan Kontradiksi. Pernyataan majemuk yang selalu bernilai benar bagaimanapun nilai proposisi 1.3 Pembuktian 1.3.1 Tautologi dan Kontradiksi Pernyataan majemuk yang selalu bernilai benar bagaimanapun nilai proposisi yang membentuknya disebut toutologi, sedangkan proposisi yang selalu bernilai salah

Lebih terperinci

Logika Proposisi 1. Definisi 1. (Proposisi) Proposisi adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya sekaligus.

Logika Proposisi 1. Definisi 1. (Proposisi) Proposisi adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya sekaligus. Logika Proposisi 1 I. Logika Proposisi Logika adalah bagian dari matematika, tetapi pada saat yang sama juga merupakan bahasa matematika. Pada akhir abad ke-19 dan awal abad ke-20, ada kepercayaan bahwa

Lebih terperinci

FPMIPA UPI ILMU KOMPUTER I. TEORI HIMPUNAN

FPMIPA UPI ILMU KOMPUTER I. TEORI HIMPUNAN I. TEORI HIMPUNAN 1. Definisi Himpunan hingga dan Tak hingga 2. Notasi himpuanan 3. Cara penulisan 4. Macam-macam Himpunan 5. Operasi Himpunan 6. Hukum pada Operasi Himpunan 7. Perkalian Himpunan (Product

Lebih terperinci

( A + B) C. Persamaan tersebut adalah persamaan rangkaian digital dengan 3 masukan sehingga mempunyai 8 kemungkinan keadaan masukan.

( A + B) C. Persamaan tersebut adalah persamaan rangkaian digital dengan 3 masukan sehingga mempunyai 8 kemungkinan keadaan masukan. ( A + B) C. Persamaan tersebut adalah persamaan rangkaian digital dengan 3 masukan sehingga mempunyai 8 kemungkinan keadaan masukan. Pada aljabar Boolean terdapat hukum-hukum aljabar Boolean yang memungkinkan

Lebih terperinci

BAB I PENGANTAR LOGIKA MATEMATIKA

BAB I PENGANTAR LOGIKA MATEMATIKA 1 BAB I PENGANTAR LOGIKA MATEMATIKA 1.1. Pengenalan logika matematika Logika berasal dari kata bahasa Yunani logos. Dalam bahasa Inggris lebih dekat dengan istilah thought atau reason. Definisi Logika

Lebih terperinci

ARSITEKTUR DAN ORGANISASI KOMPUTER Aljabar Boolean, Gerbang Logika, dan Penyederhanaannya

ARSITEKTUR DAN ORGANISASI KOMPUTER Aljabar Boolean, Gerbang Logika, dan Penyederhanaannya ARSITEKTUR DAN ORGANISASI KOMPUTER Aljabar Boolean, Gerbang Logika, dan Penyederhanaannya Disusun Oleh : Indra Gustiaji Wibowo (233) Kelas B Dosen Hidayatulah Himawan,ST.,M.M.,M.Eng JURUSAN TEKNIK INFORMATIKA

Lebih terperinci

BAB I DASAR-DASAR LOGIKA

BAB I DASAR-DASAR LOGIKA BAB I DASAR-DASAR LOGIKA 11 Pendahuluan Logika adalah suatu displin yang berhubungan dengan metode berpikir Pada tingkat dasar, logika memberikan aturan-aturan dan teknik-teknik untuk menentukan apakah

Lebih terperinci

FM-UDINUS-BM-08-05/R0

FM-UDINUS-BM-08-05/R0 RENCANA PROGRAM KEGIATAN PERKULIAHAN SEMESTER (RPKPS) Kode / Nama Mata Kuliah : A22.53112/ Logika Matematika Revisi ke : 0 Satuan Kredit Semester : 3 SKS Tgl revisi : Januari 2009 Jml Jam kuliah dalam

Lebih terperinci

MULTIMEDIA PEMBELAJARAN LOGIKA INFORMATIKA PADA MATERI POKOK TABEL KEBENARAN

MULTIMEDIA PEMBELAJARAN LOGIKA INFORMATIKA PADA MATERI POKOK TABEL KEBENARAN MULTIMEDIA PEMBELAJARAN LOGIKA INFORMATIKA PADA MATERI POKOK TABEL KEBENARAN 1 Ardian M.N. (06018121), 2 Dewi Soyusiawaty (0530077601) 1,2 Program Studi Teknik Informatika Universitas Ahmad Dahlan Prof.

Lebih terperinci

- Mahasiswa memahami dan mampu membuat kalimat, mengevaluasi kalimat dan menentukan validitas suatu kalimat

- Mahasiswa memahami dan mampu membuat kalimat, mengevaluasi kalimat dan menentukan validitas suatu kalimat LOGIKA Tujuan umum : - Mahasiswa memahami dan mampu membuat kalimat, mengevaluasi kalimat dan menentukan validitas suatu kalimat Tujuan Khusus: - mahasiswa diharapkan dapat : 1. memahami pengertian proposisi,

Lebih terperinci

RUMUS-RUMUS TAUTOLOGI. (Minggu ke-5 dan 6)

RUMUS-RUMUS TAUTOLOGI. (Minggu ke-5 dan 6) RUMUS-RUMUS TAUTOLOGI (Minggu ke-5 dan 6) 1 1 Rumus-rumus tautologi Rumus 1.1 (Komutatif) 1. p q q p 2. p q q p Bukti: p q p q q p T T T T T F F F F T F F F F F F 2 Rumus 1.2 (Distributif) 1. p (q r) (p

Lebih terperinci

BAB 11 RESOLUSI. 1. Pendahuluan. 2. Resolving argumen

BAB 11 RESOLUSI. 1. Pendahuluan. 2. Resolving argumen BAB 11 RESOLUSI 1. Pendahuluan Pembuktian ekspresi-ekspresi logika berupa validitas argumen-argumen pada bab-bab sebelumnya sangat penting untuk menemukan metode yang lebih mekanis dan mudah digunakan

Lebih terperinci

MAKALAH SISTEM DIGITAL

MAKALAH SISTEM DIGITAL MAKALAH SISTEM DIGITAL Konsep Dasar Teorema Boole & De Morgan Disusun Oleh : Anin Rodahad (12131307) Abdurrahman Ar-Rohim (12131299) Bayu Ari Utomo () TEKNIK INFORMATIKA STMIK EL RAHMA YOGYAKARTA Jl. Sisingamangaraja

Lebih terperinci

LAB #1 DASAR RANGKAIAN DIGITAL

LAB #1 DASAR RANGKAIAN DIGITAL LAB #1 DASAR RANGKAIAN DIGITAL TUJUAN 1. Untuk mempelajari operasi dari gerbang logika dasar. 2. Untuk membangun rangkaian logika dari persamaan Boolean. 3. Untuk memperkenalkan beberapa konsep dasar dan

Lebih terperinci

Logika Informatika. Bambang Pujiarto

Logika Informatika. Bambang Pujiarto Logika Informatika Bambang Pujiarto LOGIKA mempelajari atau berkaitan dengan prinsip-prinsip dari penalaran argument yang valid studi tentang kriteria-kriteria untuk mengevaluasi argumenargumen dengan

Lebih terperinci

REPRESENTASI PENGETAHUAN

REPRESENTASI PENGETAHUAN REPRESENTASI PENGETAHUAN Representasi Pengetahuan (Knowledge Representation) dimaksudkan untuk menangkap sifatsifat penting masalah dan membuat infomasi dapat diakses oleh prosedur pemecahan masalah. Bahasa

Lebih terperinci

Logika. Apakah kesimpulan dari argumen di atas valid? Alat bantu untuk memahami argumen tsb adalah Logika

Logika. Apakah kesimpulan dari argumen di atas valid? Alat bantu untuk memahami argumen tsb adalah Logika Pengantar Logika 1 Logika Perhatikan argumen di bawah ini: Jika anda mahasiswa Informatika maka anda pasti belajar Bahasa Java. Jika anda tidak suka begadang maka anda bukan mahasiswa Informatika. Tetapi,

Lebih terperinci

Definisi Aljabar Boolean

Definisi Aljabar Boolean Aljabar Boolean Definisi Aljabar Boolean Misalkan terdapat - Dua operator biner: + dan - Sebuah operator uner:. - B : himpunan yang didefinisikan pada operator +,, dan - dan adalah dua elemen yang berbeda

Lebih terperinci

TI 2013 IE-204 Elektronika Industri & Otomasi UKM

TI 2013 IE-204 Elektronika Industri & Otomasi UKM TI 23 IE-24 Elektronika Industri & Otomasi UKM Lampiran C Aljabar Boolean Tupel Misalkan terdapat - Dua operator biner: + dan - Sebuah operator uner:. - B : himpunan ang didefinisikan pada operaror +,,

Lebih terperinci

LOGIKA MATEMATIKA I. PENDAHULUAN

LOGIKA MATEMATIKA I. PENDAHULUAN LOGIKA MATEMATIKA I. PENDAHULUAN Logika adalah dasar dan alat berpikir yang logis dalam matematika dan pelajaran-pelajaran lainnya, sehingga dapat membantu dan memberikan bekal tambahan untuk menyampaikan

Lebih terperinci

Teknik Penyederhanaan untuk Menyederhanakan Teknik Resolusi

Teknik Penyederhanaan untuk Menyederhanakan Teknik Resolusi Teknik Penyederhanaan untuk Menyederhanakan Teknik Resolusi Djoni Dwijono Teknik Informatika Universitas Kristen Duta Wacana Yogyakarta Email: djoni@ukdw.ac.id Abstrak: Teknik Resolusi sebenarnya tidak

Lebih terperinci

Silogisme Hipotesis Ekspresi Jika A maka B. Jika B maka C. Diperoleh, jika A maka C

Silogisme Hipotesis Ekspresi Jika A maka B. Jika B maka C. Diperoleh, jika A maka C MSH1B3 Logika Matematika Dosen: Aniq A Rohmawati, M.Si Kalkulus Proposisi [Definisi] Metode yang digunakan untuk meninjau nilai kebenaran suatu proposisi atau kalimat Jika Anda belajar di Tel-U maka Anda

Lebih terperinci

Definisi 2.1. : Sebuah pernyataan yang bernilai benar atau salah disebut dengan proposisi (proposition)

Definisi 2.1. : Sebuah pernyataan yang bernilai benar atau salah disebut dengan proposisi (proposition) Bab II Kalkulus Proposisi Bab pertama ini menyampaikan sejumlah argumen logika. Semua argumen logika meliputi proposisi proposisi atomik (atomic proposition), yang tidak dapat dibagi lagi. Proposisi atomik

Lebih terperinci

FAKULTAS TEKNIK UNIVERSITAS NEGERI YOGYAKARTA LAB SHEET TEKNIK DIGITAL LS 2 : Aljabar Boolean, Teori De Morgan I dan De Morgan II

FAKULTAS TEKNIK UNIVERSITAS NEGERI YOGYAKARTA LAB SHEET TEKNIK DIGITAL LS 2 : Aljabar Boolean, Teori De Morgan I dan De Morgan II No. LST/EKO/DEL 214/02 Revisi : 04 Tgl : 1 Februari 2012 Hal 1 dari 8 1. Kompetensi Memahami Product hukum aljabar Boolean termasuk hukum De Morgan, dan prinsip Sum of 2. Sub Kompetensi Memahami penerapan

Lebih terperinci

BAB III GERBANG LOGIKA DAN ALJABAR BOOLEAN

BAB III GERBANG LOGIKA DAN ALJABAR BOOLEAN A III GERANG LOGIKA DAN ALJAAR OOLEAN 3. Pendahuluan Komputer, kalkulator, dan peralatan digital lainnya kadang-kadang dianggap oleh orang awam sebagai sesuatu yang ajaib. Sebenarnya peralatan elektronika

Lebih terperinci