Logika Penyerdahanaan
Penyederhanaan Latihan Soal-Soal Soal 1 Sederhanakan bentuk-bentuk logika ini menjadi bentuk paling sederhana : 1. A ^ (~ A => A) 2. ~ (~ A ^ (B v ~ B)) 3. ~ A => ~ (A => ~ B) 4. (A => B) => ((A => ~ B) => ~ A) 5. (A => (B v ~ C)) ^ ~ A ^ B 6. (~ A ^ ~ (B => C)) ^ ~ (A => (B => ~ C)) 7. (~ A => B) => ((~ A => ~ B) => A) 8. (A ^ (~ A v B)) v B v (A ^ (A v B)) 9. (A ^ ~ B ^ A ^ ~ C) v (C ^ A ^ ~ C) Penyelesaian !!! 1. A ^ (~A => A) A ^ (A v A) Hk. Implikasi A^ A ...