EKIVALENSI LOGIKA INFORMATIKA


1. PENGERTIAN

       Materi ini membahas penggunaan hukum-hukum logika pada operasi logika yang dinamakan penyederhanaan(simplifying). Berbagai macam ekuivalensi dari berbagai ekspresi logika memberi kemudahan bagi penyederhanaan karena bentuk ekspresi logika yang rumit dan dapat disederhanakan
.

2.OPERASI PENYEDERHANAAN

          Operasi penyederhanaan akan menggunakan tabel berikut yang berisi berbagai ekuivalensi logis dan hukum-hukum logika proposional.



  

Soal

No 3

Komentar

Posting Komentar

Postingan populer dari blog ini

Contoh Tautologi, Kontradiksi, Contingent, Ekuivalensi Logis dan Tabel Kebenarannya

Gambar
1.Tautologi   adalah suatu pernyataan majemuk yang bernilai benar untuk setiap kemungkinan. Jadi, tautologi berlawanan dengan   kontradiksi . Hal ini dapat dibuktikan menggunakan   tabel kebenaran   ataupun   sifat-sifat logika . Contoh tautologi adalah: “Jika andi pintar, maka Dini juara kelas. Jika Siska tidur, maka Dini juara kelas. Dengan demkian, jika andi pintar atau Siska tidur, maka Dini juara kelas.” Diubah ke variabel proposional: A   Salsa pintar B   Rafli juara Olimpiade C   Thania tidur Setelah diubah ke bentuk variabel maka diubah ubah lagi menjadi ekspresi logika yang terdiri dari premis-premis, sedangkan ekspresi logika 3 adalah kesimpulan. 1). A  B              (premis) 2). C  B               (premis) 3). (A ˅ C)  B      ...
Baca selengkapnya