LOGIKA INFORMATIKA

Tugas Bab 4

Kelompok Arifudin Suleman :13021106008

Last Ladies Brando C Pangkey :13021106151

Gumolung Samuel :13021106026

Jehezkiel Mandei :13021106120

Joike Natalnael Kasenda :13021106104

Ophira Maria Alow :13021106024

Rafi Napoleon Mokoginta :13021106129

SOAL 1
Ubahalah pernyataan-pernyataan berikut menjadi ekspresi logika berupa
proposisi mejemuk :
1. Jika tikus itu waspada dan bergerak cepat, maka kucing atau anjing itu tidak
mampu menangkapnya.
2. Jika saya tidak perlu, Dewi sudah diwisudah dan pacarnya atau orangtuanya
berada didampingnya.
3. Bowo membeli saham dan membeli property untuk investasinya, atau dia
dapat menanamkan uang di deposito bank dan menerima bunga uang.

JAWABAN
1. a. Jika tikus itu waspada dan bergerak cepat
b. Maka kucing itu dan anjing itu
c. Tidak mampu menangkapnya
Ekspresi Logika
A→B˅C

2. a. Jika saya tidak keliru

b. Dewi sudah di wisuda
c. Pacarnya dan orang orang tuanya berada di sampingnya
Ekspresi Logika
¬A→(B˄C)

3. a. Bowo membeli saham

b. Bowo membeli properti untuk ivestasinya
c. Bowo dapat menanamkan uang di deposito bank
d. Menerima banyak uang
Ekspresi Logika
(A˄B)˅(C˄D)
SOAL 2
Masukkan tanda kuraung biasa ke dalam ekspresi logika berikut ini sehingga
tidak terjadi ambiguitas:
1. A^B^C→ D 2. AvBvC↔¬D

3. ¬AvB→¬CvD 4. A→B↔C→¬D

5. AvB^C→¬AvB^C

JAWABAN
1. (A Λ B Λ C)→ D 2. (A v B v C) ↔ D

3. ( A B) → ( C v D) 4. (A → B) ↔ ( C → D)

5. (((A v B) ᴧ (C → ((A ᴧ B v C)))

SOAL 3
Jika nilai A dan B adalah T, sedangkan C dan D adalah F, carilah nilai kebenaran
dari ekspresi-ekspresi logika berikut:
1. A^(BvC)
2. (AvB)^C
3. ((AvB)^C)v¬ ((AvB)^(BvD))
4. (¬(AvB)v¬C)v(((¬A^B)v¬D)^C)
5. (A↔C)^( ¬B→D)
JAWABAN
1. TΛ(TVF)
= (TΛT)
=T
2. (TVT)ΛF
= (TΛF)
=F
3. ((TVT)ΛF)V¬((TVT)Λ(TVF))
= ((TΛF)V¬(TΛT))
= (FV¬(T))
= FVF
=F
4. (¬(TΛT)V¬F)V(((¬TΛT)V¬F)ΛF)
= (¬(T)V¬F)V(((FΛT)VT)ΛF)
= (FVT)V((FVT)ΛF)
= TV(TΛF)
= TVF
=T

= FΛT
=F
SOAL 4
Jika nilai A dan B adalah F, sedangkan C dan D adalah T, carilah nilai kebenaran
dari ekspresi-ekspresi logika berikut:
1. ¬(A↔B)^(¬C→D)
2. (¬A(Bv¬C)v(B↔¬A)) → (D^C)
3. (Av(B→(C¬A)))↔¬(Bv¬D)

Jawaban

=FΛT
=F

=T

= (TVF)↔F
= T↔F
=F