Pada materi ini membahas penggunaan 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:
Operasi penyederhanaan akan menggunakan tabel berikut yang berisi berbagai ekuivalensi
logis dan hukum-hukum logika proposisional:
Soal
No 3
