Nama : Achmad Alvi Yudanuari

NIM : 2255201034
Matkul : Logika Informatika
Pembimbing : Veradella Yuelisa Mafula, S.Kom, M.Kom.

1. Tabel kebenaran dari expresi logika berikut ¬ p ⨁ ( q → p )

p q ¬p q→ p ¬ p ⨁ (q → p )
B B S B B
B S S B B
S B B S B
S S B B S

2. Kontradiksi logika ¬( p V q) Λp
p q pV q ¬( p V q) ¬( p V q) Λp
B B B S S
B S B S S
S B B S S
S S S B S

3. Diberikan dua proposisi majemuk berikut:

1. Jika saya kaya raya maka istri saya cantik
2. Jika istri saya cantik maka saya kaya raya
P: Saya kaya raya
Q: istri saya cantik
Bagaimana expresi logikanya:
1. p →q
2. q → p
Selanjutnya buat table kebenarannya
1. p →q
p q p →q
B B B
B S S
S B B
S S B

2. q → p
p q q→ p
B B B
B S B
 S B S
S S B
4. 12 Hukum Ekuivalensi Logika
1 Komutatif p Λq≡q Λ p
p V q ≡q V p
2 Asosiatif ( p Λ q ) Λ r ≡ p Λ(q Λ r)
( p V q ) V r ≡ p V ( q V r)
3 Distribusi p Λ(q V r )≡( p Λ q) V ( p Λ r )
p V (q Λ r ) ≡( p V q) Λ( p V r)
4 Identitas p ΛT ≡ p
pV F ≡ p
5 Ikatan p V T ≡T
p ΛF ≡F
6 Negasi pV ¬ p≡T
p Λ¬ p≡F
7 Negasi Ganda ¬(¬ p)≡ p
8 Idempotent p Λ p≡ p
pV p≡ p
9 De Morgan ¬( p Λ q )≡ ¬ p V ¬ q
¬ ( p V q ) ≡¬ p Λ ¬ q
10 Absorsi p V ( p Λ q )≡ p
p Λ ( p V q )≡ p
11 T dan F ¬T ≡ F
¬ F ≡T
12 Implikasi ke and/or P q ¬p V q

5. P1 = p→q
P2= ¬p
P3 = ¬q
Expresi logika [(p→q)Λ¬p]→¬q
p q p →q ¬p ¬q p →q Λ ¬ p [( p → q)q Λ ¬ p ]→¬ q
B B B S S S B
B S S S B S B
S B B B S B S
S S B B B B B

6. x.y1 = 0 Jika dan hanya jika x1.y=x