P. 1
Bab 3 Bentuk Normal Kalimat Logika

Bab 3 Bentuk Normal Kalimat Logika

|Views: 656|Likes:
Dipublikasikan oleh Weli Andrian

More info:

Published by: Weli Andrian on May 04, 2011
Hak Cipta:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PPT, PDF, TXT or read online from Scribd
See more
See less

12/01/2013

pdf

text

original

BAB 3 BENTUK NORMAL DARI KALIMAT LOGIKA

 Hanya terdapat operator logika utama ( ~, › dan œ)  Bentuk normal konjungtif  Conjungtive Normal Form (CNF) 
A1 › A2 ««.. › Ai «««. › An  Setiap Ai berbentuk P1 œ P2 ««.. Pi œ ««..Pm 
Contoh : (~ p1 œ ~ p2 œ p3) › (p1 œ ~ p3 œ p4)  Rangkaian digital CNF = Product of Sum (POS) 

Bentuk normal disjungtif 
Disjungtive Normal Form (DNF)  A1 œ A2 ««.. œ Ai «««. œ An  Setiap Ai berbentuk P1 › P2 ««.. Pi › ««..Pm  Contoh : ( p1 › ~ p2 › ~ p3) œ (~ p1 › p3 › p4)  Rangkaian digital CNF = Sum of Product (SOP)

maka lambang proposisi menjadi a . 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 Jika a = F. 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.

1 Ubahlah ekspresi logika A : ~ (a › b) m(~ a œ ~ c) ke dalam bentuk CNF dan DNF Jawab : Buat terlebih dahulu tabel kebenarannya a F F F F T T T T b F F T T F F T T c F T F T F T F T a›b F F F F F F T T ~(a › b) ~ a ~ c ~a œ ~c T T T T T T F F T T T T F F F F T F T F T F T F T T T T T F T F ~ (a › b) m(~ a œ ~ c) T (1) T (2) T (3) T (4) T (5) F (x) F (y) T (6) DNF : (~a ›~b ›~c) œ (~a ›~b ›c) œ (~a ›b ›~c) œ (~a ›b ›c) œ (a ›~b ›~c) œ (a › b ›c) CNF : (~a œ b œ ~c) › (~a œ ~b œ c) .Contoh Soal 3.

2 Tentukan bentuk DNF dan CNF dengan menggunakan tabel kebenaran dan hukum aljabar untuk kalimat ~(a p b) œ (a › b) Jawab : a F F T T b F T F T apb T T F T ~(a p b) F F T F› a›b F F F T ~(a p b) œ (a › b) F F T T œ DNF: (~a ›~b) œ(~ a› b ) CNF:(~a œ b) › (~a œ~b) .Latihan Soal 3.

3 Ubahlah ekspresi logika ~ (a p b) œ (a œ b) ke dalam bentuk CNF Jawab : ~ (a p b) œ (a œ b) ~ (~ a œ b) œ (a œ b) (a › ~ b) œ (a œ b) [(a › ~ b) œ a] œ b [(a œ a) › (~b œ a)] œ b Bentuk semula Mengganti implikasi De Morgan Asosiatif Distributif De Morgan : ~ (p › q)  ~p œ ~q ~ (p œ q)  ~p › ~q Asosiatif p › (q › r)  (p › q) › r p œ (q œ r)  (p œ q) œ r Distributif p › (q œ r)  (p › q) œ (p › r) p œ (q › r)  (p œ q) › (p œ r) ((a œ a œ b ) › (~b œ a œ b) CNF Tautologi 1 : p q~pœq . Bentuk normal dapat dibuat juga dengan hukum-hukum logika Contoh Soal 3.

4 Ubahlah ekspresi logika a › ~ (a œ ~ (b › c)) ke dalam bentuk DNF Jawab : a › ~ (a œ ~ (b ›c)) a › ~ (a œ (~ b œ ~ c)) a › (~a › ~(~ b œ ~ c)) a › (~ a › (b › c)) a › (~ a › b › c) a›~a›b›c Bentuk semula De Morgan De Morgan De Morgan Asosiatif DNF De Morgan : ~ (p › q)  ~p œ ~q ~ (p œ q)  ~p › ~q Asosiatif p › (q › r)  (p › q) › r p œ (q œ r)  (p œ q) œ r .Contoh Soal 3.

Latihan Soal 3.5 Tentukan bentuk DNF dan CNF dengan menggunakan tabel kebenaran dan hukum aljabar untuk kalimat (a ›(~ b m c)) p c Jawab : a F F F F T T T T b F F T T F F T T c F T F T F T F T ~b (~ b m c) a ›(~ b m c)) (a ›(~ b m c)) p c .

You're Reading a Free Preview

Mengunduh
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->