Nama : Syehudin (4611416021)

Iin Dinariyah (4611416029)

Logika Informatika

Rombel 1

1. Buktikan bahwa [(p(pq)) (pq)] p T pp

Bukti

[(p(pq)) (pq)] p [(p ((p) q)) (pq)] p De Morgans law

[(p (pq)) (pq)] p Double Negation law

[((pp) q) (pq)] p Associative law

[(pq) (pq)] p Idempotent law

[p (qq)] p Distributive law

[p (qq)] p Commutative law

[pT] p Negation law

pp Identity law

pp Equivalence of Implication

pp Commutative law

Jika formula tersebut dilanjutkan makan akan diperoleh bahwa persamaan diatas
merupakan suatu tautologi

2. Buktikan bahwa (P R) (P Q R) ekuivalen dengan R (Q (P R))

(P R) (P Q R)
R(Q(PR)) (Equivalence of Implication)
R[Q(PR)] (De Morgans Law)
R[QPR] (Associative Law)
 (RQ)(RP)(RR) (Distributive Law)
(RQ)(RP) (RRF; Defitinion Law)
R(QP) (Distributive Law)
R(QP)(PP) (PPT; Definition Law)
R[(QP)(PP)] (Associative Law)
R[P(QP)] (Distributive Law)
(RP)[R(QP)] (Distributive Law)
(RP)[RQP] (Associative Law)
(PR)(PQR)
3. Himpunan Penggandeng Lengkap
(AB) BC(AC) [(AB) (A B) (A B)]
(AB) BC(AC) [(AB) (A B) (A B)]
(AB) BC(AC)
= (AB) (BC(AC)) B)
= A BBC(AC)
= ABBCA C
= A BC
[(AB) (A B) (A B)]
= [(AB) ( AB) ( A B)
= [(AB) (AB) (AB)]
= [(AB) (AB) (AB)]
= AB AB AB
Jadi
(AB) BC(AC) [(AB) (A B) (A B)]
= A BC AB AB AB
4. Bentuk Normal Konjungsi dan Disjungsi
((p q) q p) (q r)
r p q pq (p q) q (p q) q p q r (q r) ((p q) q p) (q r)

T T T T T T F F F F

T T F F F T T F T T

T F T T T F F F F F

T F F T F T T F T T

F T T T T T F T T T

F T F F F T T T T T

F F T T T F F T T F

F F F T F T T T T T

a. Bentuk Normal Konjungsi

r p q ((p q) q p) (q r) Konjungan

T T T F (r p q)

T T F T r p q

T F T F (r p q)

T F F T r p q

F T T T r p q

F T F T r p q

F F T F (r p q)

F F F T r p q
 BNKP :
((r p q) (r p q) (r p q))
BNK :
Dengan menimplementasikan De Morgans law and double negation law kita dapat
(r p q) (r p q) (r p q)
b. Bentuk Normal Disjungsi
r p q ((p q) q p) (q r) Konjungan

T T T F (r p q)

T T F T r p q

T F T F (r p q)

T F F T r p q

F T T T r p q

F T F T r p q

F F T F (r p q)

F F F T r p q

BNDP :
(r p q) (r p q) (r p q) (r p q) (r p q)
BND
(r p q) (r p q) (r p (q q)) (r p q)