Logika Informatika

Latihan UTS

1. Buatlah tabel kebenaran dari a b)

2. Tentukan apakah ekuivalen atau tidak (gunakan tabel kebenaran)

aà b dengan ab

3. Pada kondisi bagaimanakah agar kalimat berikut bernilai benar! Buatlah tabel     kebenarnnya dahulu.

"Tidaklah benar jika rumah kuno selalu lembab atau angker, dan tidak juga benar jika rumah baru selalu hangat atau rumah kuno selalu rusak"

4. Tentukan apakah tautologi atau kontradiksi

1. b à (ab)


2. a b) aab))

5. Tuliskan Konvers, Invers, dan Kontraposisi!

"Jika A adalah bujur sangkar, maka A adalah 4 persegi panjang"

6. Dengan menggunakan inferensi logika, apakah kesimpulan berikut ini valid?

7. Buatlah tabel kebenaran dari fungsi boolean: f(x, y) = x’y + xy’+ y’
8. Buatlah rangkaian logika dari fungsi: f(x, y) = x’y + xy’+ y

9. Apakah kalimat berkuantor ini benar atau tidak? Buktikan! (jika x adalah bilangan  bulat)

          (∃x) x^2-10x+21=0

10. Terjemahkan kalimat berikut menggunakan kuantor!                                           

         "Ada mahasiswa yg suka membolos sekolah"