Sederhanakanlah bentuk-bentuk logika menjadi bentuk paling sederhana 1. A ˄ ( ¬ A → A ) 2. ¬ ( ¬ A ˄ ( B ˅ ¬ B) 3. ¬ A → ¬ ( A → ¬ B ) 4. ( A → B ) → (( A → ¬ B ) → ¬ A ) 5. ( A → ( B ˅ ¬ C )) ˄ ¬A ˄ B 6. ( ¬A ˄ B ¬( B → C )) ˄ ¬ ( A → (B → ¬ C ) 7. ( ¬A → B ) → (( ¬ A → ¬B ) → A ) 8. ( A ˄ ( ¬A ˅ B )) ˅ B ˅ ( A˄( A ˅ B)) 9. ( A ˄¬B˄A˄¬C)˅(C˄A˄¬C) Jawaban 1. ≡ A ˄ ( ¬ A → A ) ≡ A ˄ ( A ˄ A ) HUKUM IMPLIKASI ≡ A ˄ A HUKUM IDEMPOTEN ≡ A 2. ≡ ¬ ( ¬ A ˄ ( B ˅ ¬ B) ≡ A ˄ ( ¬ B ˅ B ) HUKUM NEGASI GANDA ≡ A ˄ 1 TAUTOLOGI ≡ A IDENTITY OF ˄ 3. ≡¬ A → ¬ ( A → ¬ B ) ≡¬¬