LOGIKA DAN ALGORITMA

DASAR – DASAR
LOGIKA INFORMATIKA
Erik Hadi Saputra, S.Kom, M.Eng.
1
PENILAIAN

MATCHING PAKAIAN
30%
(CELANA+KEMEJA+DASI+SEPATU)



TUGAS/PRESENTASI
UJIAN MID SEMESTER
UJIAN AKHIR SEMESTER
15%
25%
30%
2
KONVERSI NILAI
A
B
C
D
E
=
=
=
=
=
80 -100
60 -79
40 -59
20 -39
0-19
3
Proposition (pernyataan)




Merupakan komponen penyusun logika
dasar yang dilambangkan dengan huruf
kecil (p, q, r, …..) yang memiliki nilai
kebenaran (True atau False).
Diwakili oleh kalimat deklaratif.
Lawan kalimat deklaratif  Kalimat Terbuka
Untuk mengkombinasikan dua atau lebih
proposisi diperlukan
“connective/penghubung”.
4
Syntactics Rule
(Aturan Sintaktik)
Adalah aturan yang diperlukan untuk
mengkombinasikan antara propositions dan
propositional connectives untuk
menghasilkan sentences (kalimat logika).
5
Propositions + Propositional
Connectives  Sentences
Propositional connective yang digunakan:
Not (~), and (), or (), if – then - (),
If – then - else, dan if and only if ()
6
Interpretasi
 Adalah pemberian nilai kebenaran (true atau
false) pada setiap symbol proposisi dari
suatu kalimat logika.
Semantic Rule (Aturan Semantik)
 Adalah suatu aturan yang digunakan untuk
menentukan “truth value” dari suatu
sentence, yaitu :
7
1. Negation Rule
(Aturan NOT)
p
not p
True
False
False
True
8
2. Conjunction Rule
(Aturan AND)
p
q
p and q
True
True
True
True
False
False
False
True
False
False
False
False
9
3. Disjunction Rule
(Aturan OR)
p
q
p or q
True
True
True
True
False
True
False
True
True
False
False
False
10
Sifat-sifat aljabar logika
untuk konjungsi dan disjungsi

Hukum Idempoten
–
–

=p
=p
Hukum Komutatif
–
–

pvp
pp
pvq
pq
= qvp
= qp
Hukum Assosiatif
–
–
(pvq)v r
(pq) r
= pv(qvr)
= p(qr)
11
Sifat-sifat aljabar logika
untuk konjungsi dan disjungsi

Hukum Distributif
– pv(qr)
– p(qvr)

= (pvq)  (pvr)
= (pq) v (pr)
Hukum Identitas
–
–
–
–
pv False
pTrue
pv True
p False
=
=
=
=
p
p
True
False
12
Sifat-sifat aljabar logika
untuk konjungsi dan disjungsi

Hukum Komplemen
– pv not p
– pnot p
– not (not p)

= True
= False
= p
Hukum De Morgan
Negasi dari konjungsi dan disjungsi:
– not (pvq)
= not p  not q
– not (pq)
= not p v not q
13
THANX ‘U.. 
14