Nama : Arwita Ramadani

NIM : 236250077

Latihan 1
1) Bowo tidak kaya raya = ¬A
2) Bowo kaya raya dan hidup Bahagia = A ∧ B
3) Bowo kaya raya atau hidup Bahagia = A ∨ B
4) Jika Bowo kaya raya, maka ia hidup Bahagia = A → B
5) Bowo hidup Bahagia jika dan hanya jika ia kaya raya = A ↔ B

Latihan 2
Konstanta Proposional dab Bentuk Logika dari kalimat tersebut yaitu :

1) A : Bowo berada di Malioboro

B : Dewi berada di Malioboro
A→B
2) A : Pintu rumah Dewi berwarna merah
B : Pintu rumah Dewi berwarna coklat
A∨B
3) A : Berita itu menyenangkan
¬A
4) A : Bowo datang
B : Bowo mempunyai kesempatan
A→B
5) A : Dewi rajin Kuliah
B : Dewi pandai
A→B

Latihan 3

1) Nilai kebenaran dari A ∧ A

A A A∧A
B B B
B S S
S B S
S S S

2) Nilai kebenaran dari A V A

 A A AVA
B B B
B S B
S B B
S S S

3) Nilai kebenaran dari A ∧ ¬ A

A ¬A A ∧ ¬A
B S S
S B S

4) Nilai kebenaran dari (A⇒B) ekivalen dengan (B⇒A)

A B A⇒B B⇒A
B B B B
B S S B
S B B S
S S B B
Tabel kebenaran antara (A⇒B) dan (B⇒A) tidak sama, maka (A⇒B) tidak ekivalen dengan (B⇒A).

5) Nilai kebenaran dari (A⇒B)⇒C ekivalen dengan A⇒(B⇒C)

A B C A⇒B B⇒C (A⇒B)⇒C A⇒(B⇒C)

B B B B B B B
B S B S B B B
S B B B B B B
B S S S B B B
S B S B S S B
S S B B B B B
S S S B B S B
Tabel kebenaran antara (A⇒B)⇒C dan A⇒(B⇒C) tidak sama, maka (A⇒B)⇒C tidak ekivalen
dengan A⇒(B⇒C).

Latihan 4

1) ¬(¬A ∧ ¬A)

A ¬A ¬A ∧ ¬A ¬(¬A ∧ ¬A)
B S S B
S B S B

2) A ∧(A ∨ B)
A B AVB A ∧ (A ∨ B)
B B B B
B S B B
 S B B S
S S S S

3) ((¬A ∧ (¬B ∧ C)) ∨ (B ∧ C)) ∨ (A ∧ C)

A B C ¬A ¬B ¬B ∧ C B ∧ C A ∧ C ¬A ∧ (¬B ∧ C) ((¬A ∧ (¬B ∧ C)) ((¬A ∧ (¬B ∧ C)) ∨

∨ (B ∧ C) (B ∧ C)) ∨ (A ∧ C)
B B B S S S B B S B B
B S B S B B S B S S B
S B B B S S B S S B B
B S S S B S S S S S S
S B S B S S S S S S S
S S B B B B S S B B B
S S S B B S S S S S S

4) (A ∧ B) ∨ ((( ¬A ∧B) ⇒A) ∧ ¬B)

A B ¬A ¬B A∧B ¬A ∧ B (¬A ∧ B) ⇒A) (( ¬A ∧B) ⇒A) ∧ ¬B) (A ∧ B) ∨ ((( ¬A ∧B) ⇒A) ∧ ¬B)
B B S S B S B S B
B S S B S S B B B
S B B S S B S S S
S S B B S S B B B

5) (A⇒B)⇔ (¬B⇒¬A)

A B ¬A ¬B A⇒B ¬B⇒¬A (A⇒B) ⇔ (¬B⇒¬A)

B B S S B B B
B S S B S S B
S B B S B B B
S S B B B B B