Logika Informatika
Logika Informatika
1. A : Bowo Kaya Raya
B : Bowo Hidup Bahagia
Selanjutnya ubah pernyataan-pernyataan berikut menjadi
bentuk logika
a. Bowo tidak kaya
b. Bowo kaya raya dan
hidup bahagia
c. Bowo kaya raya
atau tidak hidup bahagia
d. Jika bowo kaya
raya, maka ia hidup bahagia
e. Bowo hidup bahagia
jika dan hanya jika ia kaya raya
Jawaban :
a. ~A
b. A^B
c. A V ~B
d. A => B
e. A <=> B
A. Anda sakit flu
B. Anda ujian
C. Anda lulus
2. Ubahlah ekspresi
berikut menjadi pernyataan dalam B.Indonesia
1. A => ~B
2. B => ~C
3. A^B => C
4. (A B) => C
5. (A=> ~B) v (B
=> ~ C)
6. (A ^ B) v (~B ^ C)
Jawaban :
1. Jika anda sakit
flu maka anda tidak ikut ujian
2. Jika anda ujian
maka anda tidak lulus
3. Jika anda tidak
ujian maka anda lulus
4. Anda sakit flu dan
ujian anda lulus
5. Anda sakit flu
anda tidak lulus atau anda ujian anda tidak lulus
6. Anda sakit flu dan
ujian atau anda tidak ujian dan anda lulus
3. Berilah konstanta
proposional terserah anda, dan ubahlah pernyataan berikut menjadi bentuk
logika.
1. Jika bowo berada
di Malioboro, maka dewi juga ada di Malioboro
2. Pintu rumah dewi
berwarna merah atau coklat
3. Berita itu tidak
menyenangkan
4. Bowo akan datang
jika ia mempunyai kesempatan
5. Jika dewi raji
kuliah, maka ia pasti pandai
Jawaban :
·
Pertama
1. p = Bowo berada di
Malioboro
q
= Dewi juga ada di Malioboro
2. A = Pintu rumah
Dewi berwarna merah
B
= Pintu rumah Dewi berwarna coklat
3. ~P = Berita itu
tidak menyenangkan
4. P = Bowo mempunyai
kesempatan
Q
= Bowo akan dating
5. X = Dewi rajin
kuliah
Y
= Dewi pasti pandai
·
Kedua
1. p => q
2. A V B
3. ~P
4. P => Q
5. X => Y
4. Jawab dengan Tabel
Kebenaran
1. Apa nilai
kebenaran dari (A^A)
2. Apa nilai
kebenaran dari (AvA)
3. Apa nilai
kebenaran dari (A^~) dan (Av~A)
4. Apa (A => B)
mempunyai nilai kebenaran yang sama dengan (B => A)
5. Apa (A => B)
=> C mempunyai nilai kebenaran yang sama dengan A => (B => C)
Jawaban :
1.
A
|
(A^A)
|
T
|
T
|
T
|
F
|
F
|
F
|
F
|
F
|
2.
A
|
(AVA)
|
T
|
T
|
T
|
T
|
F
|
T
|
F
|
F
|
3.
A
|
(A^~A)
|
T
|
F
|
T
|
F
|
F
|
F
|
F
|
F
|
A
|
(A V
~A)
|
T
|
T
|
T
|
T
|
F
|
T
|
F
|
T
|
4.
A
|
B
|
(A => B)
|
T
|
T
|
T
|
T
|
F
|
F
|
F
|
T
|
T
|
F
|
F
|
T
|
A
|
B
|
(B => A)
|
T
|
T
|
T
|
T
|
F
|
T
|
F
|
T
|
F
|
F
|
F
|
T
|
5.
A
|
B
|
C
|
(A => B) => C
|
T
|
T
|
T
|
T
|
T
|
T
|
F
|
F
|
T
|
F
|
T
|
T
|
T
|
F
|
F
|
T
|
F
|
T
|
T
|
T
|
F
|
T
|
F
|
F
|
F
|
F
|
T
|
T
|
F
|
F
|
F
|
F
|
A
|
B
|
C
|
A => (B => C)
|
T
|
T
|
T
|
T
|
T
|
T
|
F
|
F
|
T
|
F
|
T
|
T
|
T
|
F
|
F
|
T
|
F
|
T
|
T
|
T
|
F
|
T
|
F
|
T
|
F
|
F
|
T
|
T
|
F
|
F
|
F
|
F
|
Buatlah Tabel Kebenaran dengan semua kemungkinan nilai kebenaran dari
eksperesi – eksperesi logika tersebut :
1. ~ ( ~A ^ ~ B)
2. A ^ (B V B)
3. ((~A^(~B^C)) V
(A^C)
Jawaban :
#UMMI
#LOGIKAINFORMTIKA
#HMIFUMMI
#UNIVERSITASUNGGUL
#SUKABUMI
#UMMI
#LOGIKAINFORMTIKA
#HMIFUMMI
#UNIVERSITASUNGGUL
#SUKABUMI
Komentar
Posting Komentar