JAWABAN CONTOH SOAL

Logika
Latihan Soal
Tentukan bentuk DNF dan CNF dengan menggunakan tabel kebenaran dan hukum
aljabar untuk kalimat (a (~ b  c))  c
Jawab :
a b c ~b (~ b  c) a (~ b  c)) (a (~ b  c))  c

F F F T F F T (DNF)

F F T T T F T (DNF)

F T F F T F T (DNF)

F T T F F F T (DNF)

T F F T F F T (DNF)

T F T T T T T (DNF)

T T F F T T F (CNF)

T T T F F F T (DNF)
 Jawaban
• DNF : (~a ~b ~c)  (~a ~b c)  (~a b
~c)  (~a b c)  (a ~b ~c)  (a  ~b  c)
 (a  b c)
• CNF : (~a  ~b  c)
Latihan Soal
A. Gunakan tabel kebenaran untuk mendapatkan Full Disjunctive Normal Forms
(FDNF) dan Full Conjunctive Normal Forms(FCNF) dari ekspresi berikut ini.

1.  p  q    r   r  p 
2.  p  q   r    r  p 
3.  p  q   r    p  r 
B. Ubahlah ekspresi logika berikut menjadi CNF dan DNF

1. p   q  r 
2.  p  q  r
3.  p  q   r   q 
a.
p q r pq rp r (rp) pq  r (rp)

T T T T T T T (1)
T T F T T F F (a)
T F T T T T T (3)
T F F T T F F (b)
F T T T F F F (c)
F T F T T F F (d)
F F T F F F T (7)
F F F F T F T (8)

FDNF ≡ (p  q r) v (p  ~q r) v (~p  ~q r) v (~p  ~q ~r)

FCNF ≡ (~ p v ~ q v r)  (~ p v q vr)  (p ~ v q v ~ r)  (p v ~ q v r)
b.
p q r pq (pq)r (rp) ((pq)  r )(rp)

T T T T T T T (1)
T T F T F T F (a)
T F T T T T T (2)
T F F T F T F (b)
F T T T T F F (c)
F T F T F T F (d)
F F T F T F F (e)
F F F F T T T (3)

FDNF ≡ (p  q r) v (p  ~q  r) v (~p  ~q  ~r)

FCNF ≡ (~pv~qvr) (~pvqvr)  (pv~qv~r)  (pv~qvr)  (pvqv~r)
c.
p q r pq (pq)vr (pr) ((pq)vr)(pr)

T T T T T T T (1)
T T F T T F F (a)
T F T F T T T (2)
T F F F F F F (b)
F T T T T T T (3)
F T F T T T T (4)
F F T T T T T (5)
F F F T T T T (6)

FDNF ≡ (p  q r) v (p  ~q r) v (~p  q r)v(~p  q ~r)v (~p  ~q r)v (~p ~ q ~r)
FCNF ≡ (~pv~qvr) (~pvqvr)
a.
P(qr) Bentuk semula
~p v (qr) Mengganti impilkasi
(~pvq) (~pvr) CNF

P(qr) Bentuk semula

~p v (qr) Mengganti impilkasi
~(~p v (qr)) Negasi
p(~qv~r) Buka kurung
(p~q) v (p~r) DNF
b.
(pvq)r Bentuk semula
~(pvq)vr Mengganti implikasi
(~p~q )v r De morgan
r v (~p~q ) Distributif
(r v ~p)  (r v ~q) CNF

(pvq)r Bentuk semula

~(pvq)vr Mengganti implikasi
(~p~q )v r De morgan
~((~p~q )v r) Double negasi
~(~p~q )  ~r Double negasi
(p v q)  ~r Distributif
(p  ~r) v (q  ~r) DNF
c.
~(((pvq) r)vq) Bentuk semula
(~((pvq) r)) ~q De morgan
(~(pvq)v~r) ~q De morgan
((~p~q) v~r) ~q De morgan
~q((~p~q) v~r) Distributif
(~q(~p~q) )v Distributif
(~q~r)
((~q~q) distributif
~p)v(~q~r)
(~q~p)v(~q~r) DNF