Pertemuan 6

Penyederhanaan

Ingat :

• —Ekuivalensi dari berbagai ekspresi logika memberikan kemudahan untuk penyederhanaan
• —Pernyataan yang panjang dan susah dimengerti dapat disederhanakan menjadi pernyataan yang singkat dan mudah dimengerti dengan proses penyederhanaan
• —Tabel Hukum Logika sebagai dasar proses penyederhanaan
• —Ekspresi  logika hanya memiliki perangkai dasar  ¬,  Λ dan V.
• —Perangkai implikasi dan biimplikasi dapat diganti dengan perangkai dasar.

 Contoh :
¬A V ¬ B ≡ ¬ (A Λ B)

Komutatif

Pertukaran tempat antar variabel tidak merubah nilai,  Dibuktikan dengan tabel kebenaran

Asosiatif

Penempatan tanda kurung pada suatu ekspresi logika memiliki peranan penting

Pokok bahasan:

• Hukum-hukum De-Morgan

• Teknik Penyederhanaan

• Teknik Penarikan Kesimpulan

 

Ringkasan Materi:

Referensi

1.Logika Proposisional, Penerbit Andi Yogyakarta, 2003.
2.Logika Dasar, F Soesianto, 2002.
3.Logika Matematika Elementer, Penerbit TARSITO Bandung, 1986.
4.Logic and Discrete Mathematics, Prentice Hall International, Inc, 1996