Logika Informatika Bab VII
BAB VII PENYEDERHANAAN Pendahuluan Pembahasan mengenai ekuivalensi logis, termasuk di dalamnya ekuivalen dan penemuan hukum-hukum pokoklogika yang diperoleh dari ekuivalensi ekspresi logika melalui pembuktian dengan taebl kebenaran sudah dibahas sebelumnya. Bab ini akan membahas penggunaan hukum-hukum logika Operasi penyederhanaan. Perhatikan opreasi penyederhanaan berikut dengan hukum yang digunakan tertulis di sisi kanannya. Pernyederhanaan ekspresi logika atau bentuk-bentuk logika ini dibuat sesederhana mungkin dan sudah tidak dimungkinkan dimanipulasi. Contoh 7-1. (A˅0)˄(A˅¬A) ≡ A ˄(A˅¬A) ≡ A ˄1 ≡ A Contoh 7-2. (A˄¬B)˅(A˄B˄C) ≡ (A˄¬B)˅(A˄(B˄C)) ≡ A˄(¬B˅(B˄C)) ≡ A˄((¬B˅B)˄(¬B˅C)) ≡ A˄(1˄(¬B˄C)) ≡ A˄(¬B˄C)