BENTUK NORMAL EKSPRESI LOGIKA Oleh Dani Suandi M
BENTUK NORMAL EKSPRESI LOGIKA Oleh : Dani Suandi, M. Si
Ø Hanya terdapat operator logika utama ( ~, dan ) Ø Bentuk normal konjungtif § Conjungtive Normal Form (CNF) § A 1 A 2 ……. . Ai ………. An § Setiap Ai berbentuk 1 2 ……. . i ……. . m § Contoh : (~ p 1 ~ p 2 p 3) (p 1 ~ p 3 p 4) Ø Bentuk normal disjungtif § Disjungtive Normal Form (DNF) § A 1 A 2 ……. . Ai ………. An § Setiap Ai berbentuk 1 2 ……. . i ……. . m § Contoh : ( p 1 ~ p 2 ~ p 3) (~ p 1 p 3 p 4)
Ø Membuat bentuk CNF dan DNF dari tabel kebenaran § Buat tabel kebenaran dari ekspresi logika yang diberikan § Untuk membuat bentuk DNF cukup ambil nilai-nilai T saja • Jika a = T, maka lambang proposisi menjadi a • Jika a = F, maka lambang proposisi menjadi ~ a § Untuk membuat bentuk CNF cukup ambil nilai-nilai F saja §Jika a = T, maka lambang proposisi menjadi ~ a §Jika a = F, maka lambang proposisi menjadi a
Latihan Soal 3. 2 Tentukan bentuk DNF dan CNF dengan menggunakan tabel kebenaran dan hukum aljabar untuk kalimat ~(a b) Jawab : a b ~(a b) (a b) F F T T F F F T F T T DNF: (~a ~b) (~ a b ) CNF: (~a b) (~a ~b)
Contoh Soal 3. 4 Ubahlah ekspresi logika a ~ (b c)) ke dalam bentuk DNF Jawab : a ~ (b c)) Bentuk semula a ~ (a (~ b ~ c)) De Morgan a (~a ~(~ b ~ c)) De Morgan a (~ a (b c)) De Morgan a (~ a b c) Asosiatif a ~a b c DNF De Morgan : ~ (p q) ~p ~q Asosiatif p (q r) (p q) r
Latihan Soal A. Gunakan tabel kebenaran untuk mendapatkan Full Disjunctive Normal Forms (FDNF) dan Full Conjunctive Normal Forms(FCNF) dari ekspresi berikut ini. B. Ubahlah ekspresi logika berikut menjadi CNF dan DNF
Latihan Soal Tentukan bentuk DNF dan CNF dengan menggunakan tabel kebenaran dan hukum aljabar untuk kalimat (a (~ b c)) c Jawab : a b c F F F T T T F F T T T ~b (~ b c) a (~ b c)) (a (~ b c)) c
- Slides: 7