TUGAS LOGIKA INFORMATIKA:
1. Ubahlah pernyataan-pernyataan berikut menjadi ekspresi logika berupa
proposisi majemuk:
a. Apabila ukuran keempat sisi suatu kotak sama panjangnya, maka kotak
itu bujursangkar dan apabila kotak itu persegipanjang, maka ukuran
keempat sisi suatu kotak tidak sama panjangnya.
b. Jika saya tidak punya uang maka saya tidak bisa membeli buku dan
baju.
c. Jika tidak ada acara lain , saya akan ke toko buku atau pergi ke rumah
teman.
2. Buatlah tabel kebenaran dengan semua kemungkinan nilai kebenaran dari
ekspresi-ekspresi logika berikut ini:
a. ¬(A↔ B) (¬C →D)
b. (¬A (B ¬C) (B ↔ ¬A)) → A
3. Tentukan apakah ekspresi-ekspresi berikut ini termasuk tautologi,
kontradiksi atau contingent? Jelaskan!
a. ((A↔B)↔((A B) (¬A ¬B))
b. (A→B) ¬(A→B)
4. Sederhanakan bentuk-bentuk logika berikut menjadi bentuk paling
sederhana:
a. ¬A→¬(A→¬B)