TUGAS MATEMATIKA

MATEMATIKA DIKRIT ALJABAR BOOLEAN

Disusun Oleh : Kelompok 5

1. Yandryana 2. Syariah

Rinaldi Munir/IF2151 Mat. DiskritPage 1

STMIK IKMI CIREBON

Misalkan terdapat
- Dua operator biner : + dan - Sebua - B:

operator uner : !.

i"punan #ang dide$inisikan pada operator +% , dan dua ele"en #ang berbeda dari B.

- & dan 1 adala

Tupel '(% +% .% !) Disebut Aljabar Boolean *ika untuk setiap a, b, c aksio"a-aksio"a atau pstulat +untington berikut :
1. Closure

B berlaku

'i) a + b ( 'ii) a . b ( 'i) a + & , a 'ii) a . 1 , a 'i) a + b , b + a 'ii) a . b , b . a 'i) a . 'b + /) , 'a . b) + 'a . /) 'ii) a + 'b . /) , 'a + b) . 'a + /) 'i) a + a0 , 1 'ii) a . a0 , &

2. Identitas

-. Komutatif

.. Distributif

5. Komplemen1

1ntuk Me"pun#ai Sebua 2l*abar (oolean% arus diperli atkan :

1. 3le"en-ele"en 2. 4aida

i"punan (%

operasi untuk operator biner dan operator uner%

-. Me"enu i postulat +untington.

Rinaldi Munir/IF2151 Mat. DiskritPage 2

ALJABAR BOOLEAN DUA N LA 2l*abar (oolean dua-nilai :

- ( , 5&%16 - 7perator biner% + dan . - 7perator uner% 0 - 4aida

untuk operator biner dan operator uner :

a & & 1 1

b & 1 & 1

a. b & & & 1

a & & 1 1

b & 1 & 1

a+b & 1 1 1

a & 1

a' 1 &

8ek apaka "e"enu i postulat +untington :

1. 8losure

: *elas berlaku

2. Identitas : *elas berlaku karena dari tabel dapat kita li at

ba 9a :
'i) 'ii)

&+1,1+&,1 1.&,&.1,& : *elas berlaku dengan "eli at si"etri tabel :

-. 4o"utati$

operator biner.
.. Distributi$

'i) a . 'b + /) , 'a . b) + 'a . /) dapat ditun*ukkan benar dari tabel operator biner diatas dengan "e"bentuk tabel kebenaran :

a & & & & 1 1

b & & 1 1 & &

c & 1 & 1 & 1

b+ c & 1 1 1 & 1

a . (b + c) & & & & & 1

a.b a.c & & & & & & & & & & & 1

(a . b) + (a . c) & & & & & 1

Rinaldi Munir/IF2151 Mat. DiskritPage -

1 1

1 1

& 1

1 1

1 1

1 1

& 1

1 1

'ii) +uku" distributi$

a + (b . c) = (a + b) . (a + c) dapat

ditun*ukkan benar dengan "e"buat tabel kebenaran dengan /ara #ang sa"a seperti 'i)
5. 4o"ple"en

*elas

berlaku

karena

:abel

;.-

"e"perli atkan ba 9a :
'i)

a + a0 , 1% karena & + &0 , & + 1 , 1 dan 1 + 10 , 1 + & ,1 a . a , &% karena & . &0 , & . 1 , & dan 1 . 10 , 1 . & , &

'ii)

4arena keli"a postulat +untington dipenu i% "aka terbukti ba 9a B = { ,1! bersa"a-sa"a dengan operator biner + dan . operator ko"ple"en ! "erupakan 2l*abar (oolean. E!"#RE" BOOLEAN
Misalkan '(% +% .% !) adala

sebua

2l*abar (oolean. Suatu

ekspresi (oolean dala" '(% +% .% !) adala :

'i) 'ii) 'iii)

Setiap ele"en di dala" (% Setiap peuba % <ika

1

dan
1

adala

ekspresi (oolean% "aka

e%
2

e . e % e 0 adala
2

ekspresi (oolean

8onto

: & 1 a b a+b a.b a0 . 'b + /) a . b0 + a . b . / + b% dan sebagain#a.

Rinaldi Munir/IF2151 Mat. DiskritPage .

Rinaldi Munir/IF2151 Mat. DiskritPage 5

MEN$E%ALUA" E!"#RE" BOOLEAN

8onto

: a0 . 'b + /)

<ika a , &% b , 1% dan / , &% "aka asil e=aluasi ekspresi : &0 . '1 + &) , 1 . 1 , 1
Dua ekspresi (oolean dikatakan Eki&alen 'dila"bangkan

dengan !,0) *ika keduan#a "e"pun#ai nilai #ang sa"a untuk setiap pe"berian nilai-nilai kepada n peuba . 8onto : a . 'b + /) , 'a . b) + 'a . /) 8onto : Perli atkan ba 9a a + a0b , a + b . Pen#elesaian :

a & & 1 1

b & 1 & 1

a' 1 1 & &

a'b & 1 & &

a + a"b & 1 1 1

a+b & 1 1 1

Per*an*ian : tanda titik '.) dapat di ilangkan dari penulisan

ekspresi (oolean% ke/uali *ika ada penekanan :

'i) 'ii)

a 'b + /) , ab + a/ a + b/ , 'a + b) 'a + /)

'iii) a . &% bukan a&

#R N" # DUAL TA"

Misalkan S adala

kesa"aan 'identit#) di dala" 2l*abar

(oolean #ang "elibatkan operator +% .% dan ko"ple"en% "aka *ika pern#ataan S> diperole dengan /ara "engganti . dengan + + dengan . & dengan 1 1 dengan & Dan "e"biarkan operator ko"ple"en tetap pada adan#a% "aka kesa"aan S> *uga benar. S> disebut sebagai dual dari S.

Rinaldi Munir/IF2151 Mat. DiskritPage ?

8onto :
'i) 'a . 1) '& +a0) , & 'ii) a 'a0 + b) , ab

dualn#a 'a + &) + '1 . a0) , 1 dualn#a a + a0b , a + b

'U!UM('U!UM ALJABAR BOOLEAN

1. +uku" Identitas : 'i) a + & , a 'ii) a . 1 , a -. uku" 4o"ple"en : 'i) a + a0 , 1 'ii) aa0 , & 5. uku" In=olusi : 'i) 'a0)0 , a ;. +uku" 4o"utati$ : 'i) a + b , b + a 'ii) ab , ba A. +uku" Distributi$ : 'i) a + 'b /) , 'a + b) 'a + 2. +uku" Ide"poten : 'i) a + a , a 'ii) a . a , a .. uku" Do"inansi : 'i) a . & , & 'ii) a + 1 , 1 ?. +uku" Pen#erapan : 'i) a + ab , a 'ii) a 'a + b) , a @. +uku" 2sosiati$ : 'i) a + 'b + /) , 'a + b) + / 'ii) a 'b /) , 'a b) / 1&. +uku"

/)
'ii) a 'b + /) , a b + a / 11. +uku"

De Morgan : 'i) 'a + b)0 , a0b0 'ii) 'ab)0 , a0 + b0

&/1
'i) &0 , 1 'ii) 10 , &

8onto ;.- : (uktikan 'i) a + a0b , a + b dan 'ii) a 'a0 + b) , ab Pen#elesaian :

'i) a + a0b , 'a + ab) + a0b

'Pen#erapan) '2sosiati$) 'Distributi$) '4o"ple"en) 'Identitas)

, a + 'ab + a0b) , a + 'a + a0) b ,a+1.b ,a+b

'ii) adala

dual dari 'i)

Rinaldi Munir/IF2151 Mat. DiskritPage ;

)UN$" BOOLEAN
Fungsi (oolean 'disebut *uga $ungsi biner) adala

pe"etaan

dari Bn ke B "elalui eskpresi (oolean% kita "enuliskann#a sebagai : : Bn B Bang dala" asal B.
Setiap eskpresi (oolean tidak lain "erupakan $ungsi (oolean Misalkan sebua

al ini (n adala

i"punan #ang beranggotakan

pasangan terurut ganda#n 'ordered n$tuple) di dala" daera

$ungsi (oolean adala

'C% #% D) , C#D + C0# + #0D Fungsi "e"etakan nilai-nilai pasangan terurut ganda-- 'C% #% D) ke i"punan 5&% 16. 8onto n#a% '1% &% 1) #ang berarti C , 1% # , &% dan D , 1 se ingga '1% &% 1) , 1 . & . 1 + 10 . & + &0 . 1 , & + 1 , 1 8onto : 8onto -/onto $ungsi (oolean #ang lain :
1. 2. -. .. 5.

'C) , C 'C% #) , C0# + C#0 + #0 'C% #) , C0 #0 'C % #) , 'C + #)0 'C% #% D) , C#D0 di dala" $ungsi (oolean% ter"asuk dala"

Setiap peuba

bentuk ko"pele"enn#a% disebut Literal. 8onto : Fungsi %'C% #% D) , C#D0 pada /onto di atas terdiri dari - bua literal% #aitu C% #% dan D0 8onto : Diketa ui $ungsi (oolean 'C% #% D) , C# D0% n#atakan % dala" tabel kebenaran. Pen#elesaian : C # D
0 0 0 0 1 0 0 1 1 0 0 1 0 1 0

'C% #% D) , C# D0
0 0 0 0 0

Rinaldi Munir/IF2151 Mat. DiskritPage @

1 1 1

0 1 1

1 0 1

0 1 0

!OM#LEMEN )UN$"
1. 8ara perta"a : "enggunakan

uku" De Morgan

+uku" De Morgan untuk dua bua peuba % &1 dan &'% adala 8onto : Misalkan 0'C% #% D) 'C% #% D) , C '#0 D0 + #D)% "aka , 'C'#0D0 + #D))0 , C0 + '#0D0 + #D)0 , C0 + '#0D0)0 '#D)0 , C0 + '# + D) '#0 + D0)
2. 8ara kedua : "enggunakan prinsip dualitas.

:entukan dual dari ekspresi (oolean #ang "erepresentaskan % lalu ko"ple"enkan setiap literal di dala" dual tersebut. 8onto : Misalkan Dual dari : 'C% #% D) , C '#0D0 + #D)% "aka C + '#0 + D0) '# + D) C0 + '# + D) '#0 + D0) , 0

4o"ple"enkan tiap literaln#a :

<adi% 0'C% #% D) , C0 + '# + D) '#0 + D0) BENTU! !ANON !

2da dua "a/a" bentuk kanonik : 1. Pen*u"la an dari 2. Perkalian dari

asil kali 'sum$of$product atau S7P)

asil *u"la 'product$of$sum atau P7S)

8onto :

1.

'C% #% D) , C0#0D + C#0D + C#D S7P

Setiap suku 'term) disebut minterm 2. g 'C% #% D) , 'C + # + D) 'C + #0 + D) 'C + #0 + D0) 'C0 + # + D0) 'C0 + #0 + D) P7S Setiap suku 'term) disebut ma&term
Setiap minterm/ma&term "engandung literal lengkap

)interm & & & ( & 1 Suk u C0#0 C0# Ea"bang m& m1

)a&term Suku C+# C+ Ea"bang ) )1

Rinaldi Munir/IF2151 Mat. DiskritPage A

1 1

& 1

C#0 C#

m2 m-

)interm &
& & & & 1 1 1 1

(
& & 1 1 & & 1 1

+
& 1 & 1 & 1 & 1

Suku
CF#0D0 CF#0D CF# D0 CF# D C #0D0 C #0D C # D0 C#D

Ea"bang
m m1 m' m* m, mm. m/

#0 )' C0 + )* # C0 + #0 )a&term Ea"ban Suku g

C+#+D C+#+ D0 C + #0 + D C + #0 + D0 C0 + # + D C0 + # + D0 C0 + #0 + D C0 + #0 + D0 ) )1 )' )* ), )). )/

*onto+ ,-./. G#atakan tabel kebenaran di ba9a bentuk kanonik S7P dan P7S. Tabel ,-./ & ( + & & & & & 1 & 1 & & 1 1 1 & & 1 & 1 1 1 & 1 1 1 Pen#elesaian :
'a) S7P

ini dala"

'C% #% D) & 1 & & 1 & & 1

Rinaldi Munir/IF2151 Mat. DiskritPage 1&

4o"binasi nilai-nilai peuba sa"a dengan 1 adala

#ang "eng asilkan nilai $ungsi

&&1% 1&&% dan 111% "aka $ungsi

(ooleann#a dala" bentuk kanonik S7P adala : 'C% #% D) , C0#0D + C#0D0 + C#D 2tau 'dengan "enggunakan la"bang minterm)% 'C% #% D) , m1 + m, + m/ , H '1% .% ;)
'b) P7S

4o"binasi nilai-nilai peuba sa"a dengan & adala 'C% #% D)

#ang "eng asilkan nilai $ungsi

&&&% &1&% &11% 1&1% dan 11&% "aka

$ungsi (oolean dala" bentuk kanonik P7S adala : , 'C + # + D) 'C + #0 + D) 'C + #0 + D0) 'C0 + # + D0) 'C0 + #0 + D) 2tau dala" bentuk lain% 'C% #% D) , ) )' )* )- ). , '&% 2% -% 5% ?) *onto+ ,-... G#atakan $ungsi (oolean 'C% #% D) , C + #0D dala" bentuk kanonik S7P dan P7S Pen#elesaian :
'a) S7P

, C'# + #0) , C# + C#0 , C# 'D + D0) + C#0 'D +D0) , C#D + C#D0 + C#0D + C#0D0

#FD , #0D 'C + C0) , C#0D + C0#0D <adi 'C% #% D) , C + #0D , C#D + C#D0 + C#0D + C#0D0 + C#0D + C0#0D , C0#0D + C#0D0 + C#0D + C#0D + C#D0 + C#D 2tau 'C% #% D) ?% ;)
'b) P7S

, m1 + m, + m- + m. + m/ , H '1% .% 5%

'C% #% D) , C + #0D

Rinaldi Munir/IF2151 Mat. DiskritPage 11

, 'C + #0) 'C + D) C + #0 C+D , C + #0 + DD0 , 'C + #0 + D) 'C + #0 + D0) , C + D + ##0 , 'C + # + D) 'C + #0 + D) <adi% 'C% #% D) , 'C + #0 + D) 'C + #0 + D0) 'C + # + D) 'C + #0 + D) , 'C + # + D) ' C+ #0 + D) 'C + #0 + D) 2tau 'C% #% D), ) )')* , '&% 2% -)

Rinaldi Munir/IF2151 Mat. DiskritPage 12

!ON%ER" ANTAR BENTU! !ANON ! Misalkan 'C% #% D) 0'C% #% D) Dengan 0'C% #% D) , H '1% .% 5% ?% ;) , H '&% 2% -) , m + m' + m* "enggunakan uku" De Morgan% kita dapat Dan 0 adala $ungsi ko"pele"en dari %

"e"perole $ungsi dala" bentuk P7S : , '0'C% #% D))0 , 'm + m' + m*)0 , m " . m'" . m*" , 'C0#0D0)0 'C0#D0)0 'C0#D)0 , 'C + # + D) 'C + #0 + D) 'C + #0+ D0) , ) )' )* , '&% 2% -) <adi% 'C% #% D) , H '1% .% 5% ?% ;) , '&% 2% -) 4esi"pulan : mi0 , )i *onto+. G#atakan : 'C% #% D) , '&% 2% .% 5) dan g'9% C% #% D) , H'1% 2% 5% ?% 1&% 15) dala" bentuk S7P. Pen#elesaian : 'C% #% D) , H '1% -% ?% ;) , '&% -% .% ;% @% A% 11% 12% 1-% 1.) g'9% C% #% D)

*onto+. 8arila bentuk kanonik S7P dan P7S dari 'C% #% D) , #0 + C# + C0#D0 #en0elesaian 1
'a) S7P

'C% #% D) , #0 + C# + C0#D0 , #0 'C + C0) 'D + D0) + C# 'D + D0) + C0#D0 , 'C#0 + C0#0) 'D + D0) + C#D + C#D0 + C0#D0 , C#0D + C#0D0 + C0#0D + C0#0D0 + C#D + C#D0 + C0#D0 2tau 'C% #% D) , m + m1 + m' + m, + m- + m. + m/

Rinaldi Munir/IF2151 Mat. DiskritPage 1-

'b) P7S

'C% #% D) , )- , C + #0 + D0 (entuk (aku

:idak

arus "engandung literal #ang lengkap

8onto n#a :

'C% #% D) , #0 + C# + C0#D 'bentuk baku S7P) 'C% #% D) , C '#0 + D) 'C0 + # + D0) 'bentuk baku P7S) A#L !A" ALJABAR BOOLEAN
1. Jarin2an #ensaklaran 3Switching Network4

Saklar : ob*ek #ang "e"pun#ai dua bua tutup :iga bentuk gerbang paling seder ana :
1. a

keadaan : buka dan

& & &

b ( b

7utput b an#a ada *ika dan an#a *ika & dibuka &
2. a

7utput b an#a ada *ika dan an#a *ika & dan ( dibuka &(
-. a

c b ( 8onto Rangkaian Pensaklaran pada Rangkaian Eistrik :

1) Saklar dala"

7utput c an#a ada *ika dan an#a *ika & atau ( dibuka & +

ubungan S3RI : Eogika 2GD

Ea"pu

Su"ber tegangan

2) Saklar dala"
0 B

ubungan P2R2E3E : Eogika 7R 1ampu

Rinaldi Munir/IF2151 Mat. DiskritPage 1.

2umber 3e4an4an

Rinaldi Munir/IF2151 Mat. DiskritPage 15

2. Ran2kaian Lo2ika

& &( ( Ierbang 2GD 'in=erter)

& &+( ( Ierbang 7R Ierbang G7: & &"

8onto . G#atakan Fungsi 'C% #% D) , C# + C0# ke dala" rangkaian logika. <a9ab :

'a) 8ara perta"a

'b) 8ara 4edua

'/) 8ara 4etiga

Rinaldi Munir/IF2151 Mat. DiskritPage 1?

$erban2 Turunan

Ierbang G2GD

Ierbang J7R

Iebang G7R

Ierbang JG7R

3ki=alen dengan

3ki=alen dengan

3ki=alen dengan

#en0eder+anaan )un2si Boolean 8onto : 'C% #) , C0# + C#0 + #0 Diseder anakan "en*adi 'C% #) , C0 + #0 Pen#eder anaan $ungsi (oolean dapat dilakukan dengan - /ara : 1. Se/ara al*abar 2. Menggunakan Peta 4arnaug -. Menggunakan "etode Kuine M/ 8luske# '"etode :abulasi)

Rinaldi Munir/IF2151 Mat. DiskritPage 1;

1) Pen#eder anaan Se/ara 2l*abar 8onto :

1.

f(x, y)

= x + x y = (x + x)(x + y) = 1 (x + y ) =x+y

2.

f(x, y, z) = xyz + xyz + xy = xz(y + y) + xy = xz + xz

3.

f(x, y, z) = xy + xz + yz = xy + xz + yz(x + x) = xy + xz + xyz + xyz , &('1 + +) + &0+'1 + () , &( + &0+

2) Peta 4arnaug

a. 5eta Karnau4% den4an dua peuba% ( & m& m2 m1 m& & 1 &0(0 &(0 &0( &( 1

b. 5eta den4an ti4a peuba% (+ && m& m1 m. m5 mm; m2 m? &1 11 &0(+ &(+ 1& &0(+0 &(+0

& & &0(0+0 &0(0+ 1 &(0+0 &(0+

Rinaldi Munir/IF2151 Mat. DiskritPage 1@

*onto+- Diberikan 4arnaug . C & & & & 1 1 1 1 # & & 1 1 & & 1 1 (+ && & & D & 1 & 1 & 1 & 1

tabel

kebenaran%

ga"barkan

Peta

'C% #% D) & & 1 & & & 1 1

& & 1

&1 & &

11 & 1

1& 1 1

b. Peta dengan e"pat peuba m& m. m12 m@ m1 m5 m1mA mm; m15 m11 m2 m? m1. m1& 6& && &1 11 1& (+ && 60&0(0 +0 60&(0 +0 6&(0+ 0 6&0(0 +0 &1 60&0( 0+ 60&(0 + 6&(0 + 6&0(0 + 11 60&0( + 60&(+ 6&(+ 6&0(+ 1& 60&0( +0 60&(+ 0 6&(+0 6&0(+ 0

*onto+. Diberikan tabel kebenaran% ga"barkan Peta 4arnaug . 6 & & & & & & & & 1 1 & & & & & 1 1 1 1 & & ( & & 1 1 & & 1 1 & & + & 1 & 1 & 1 & 1 & 1 f'6% &% (% +) & 1 & & & & 1 1 & &

Rinaldi Munir/IF2151 Mat. DiskritPage 1A

1 1 1 1 1 1

& & 1 1 1 1

1 1 & & 1 1 (+ && & & & &

& 1 & 1 & 1 &1 1 & & &

& & & & 1 & 11 & 1 & & 1& 1 1 1 &

6&

&& &1 11 1&

Teknik Mini5isasi )un2si Boolean den2an #eta !arnau2+

1. 5asan4an: dua bua

1 #ang bertetangga .1 & & 1 & .& & & 1 &

6& && &1 11 1&

(+ && & & & &

&1 & & & &

Sebelu" diseder anakan : '9% C% #% D) , 9C#D + 9C#D0 +asil Pen#eder anaan : '9% C% #% D) , 9C# (ukti se/ara al*abar : f'6% &% (% +) , 6&(+ + 6&(+0 , 6&('+ + +0) , 6&('1) , 6&(
2. Kuad : e"pat bua

1 #ang bertetangga

6& && &1 .. 1&

(+ && & & 1 &

&1 & & 1 &

11 & & 1 &

1& & & 1 &

Rinaldi Munir/IF2151 Mat. DiskritPage 2&

2ebelum diseder%ana7an : f'6% &% (% +) , 6&(0+0 + 6&(0+ + 6&(+ + 6&(+0 8asil pen(eder%anaan : f'6% &% (% +) , 6&

Rinaldi Munir/IF2151 Mat. DiskritPage 21

(ukti se/ara al*abar: f'6% &% (% +) , 6&(0 + 6&( , 9C'D0 + D) , 9C'1) , 6& (+ && & & 1 & &1 & & 1 & 11 & & 1 & 1& & & 1 &

6& && &1 11 1&

8onto lain: (+ /& & & 1 1 /1 & & 1 1 11 & & & & 1& & & & &

6& && &1 .1 .&

Sebelu" diseder anakan : f'6% &% (% +) , 6&(0+0 + 6&(0+ + 6&0(0+0 + 6&0(0D 8asil pen(eder%anaan : f'6% &% (% +) , 6(0
-. 97tet: delapan bua

1 #ang bertetangga

6& && &1 .1 .&

(+ && & & 1 1

&1 & & 1 1

11 & & 1 1

1& & & 1 1 : f'a% b% c% d) , 6&(0+0 + 6&(0+ 6&0(0+0 + 6&0(0+ + 6&0(+ +

2ebelum diseder%ana7an + 6&(+ + 6&(+0 + 6&0(+0

8asil pen(eder%anaan : f'6% &% (% +) , 6

Rinaldi Munir/IF2151 Mat. DiskritPage 22

Rinaldi Munir/IF2151 Mat. DiskritPage 2-

(ukti se/ara al*abar: f'6% &% (% +) , 6(0 + 6( , 6'(0 + () ,6 (+ && & & 1 1 &1 & & 1 1 11 & & 1 1 1& & & 1 1

6& && &1 11 1&

*onto+ 6-.7- 2ndaikan suatu tabel kebenaran tela diter*e"a kan ke dala" Peta 4arnaug . Seder anakan $ungsi (oolean #ang bersesuaian seseder ana "ungkin. (+ && & & 1 1 &1 1 & 1 1 11 1 & & & 1& 1 1 1 1

6& && &1 11 1&

<a9ab: 'li at Peta 4arnaug ) f'6% &% (% +) , 6(0 + (+0 + 60&0+ *onto+ 6-.8Mini"isasi $ungsi (oolean #ang bersesuaian dengan Peta 4arnaug di ba9a ini. (+ && & & 1 1 &1 & 1 1 1 11 & & 1 1 1& & & 1 1

6& && &1 11 1&

<a9ab: 'li at Peta 4arnaug ) f'6% &% (% +) , 6 + &(0+

Rinaldi Munir/IF2151 Mat. DiskritPage 2.

<ika pen#elesaian 8onto 5.1- adala seperti di ba9a ini: (+ && & & 1 1 &1 & 1 1 1 11 & & 1 1 1& & & 1 1

6& && &1 11 1&

"aka $ungsi (oolean asil pen#eder anaan adala f'6% &% (% +) , 6 + 60&(0+ 5) #ang tern#ata "asi belu" seder ana dibandingkan f'6% &% (% +) , 6 + &(0+ '*u"la literal , .). *onto+ 6-.9- 'Penggulungan/rollin4) Seder anakan $ungsi (oolean #ang bersesuaian dengan Peta 4arnaug di ba9a ini. (+ && & 1 1 & &1 & & & & 11 & & & & 1& & 1 1 & '*u"la literal ,

6& && &1 11 1&

<a9ab: f'6% &% (% +) , &(0+0 + &(+0 ,,L belu" seder ana Pen#elesaian #ang lebi "ini"al: (+ &/ 6& && &. 1. 1& & 1 1 & &1 & & & & 11 & & & & 1/ & 1 1 & ,,,L lebi seder ana

f'6% &% (% +) , &+0

Rinaldi Munir/IF2151 Mat. DiskritPage 25

*onto+ 6-.6: '4elo"pok berlebi an) Seder anakan $ungsi (oolean #ang bersesuaian dengan Peta 4arnaug di ba9a ini. (+ && & & & & &1 & 1 1 & 11 & & 1 1 1& & & & & "asi belu"

6& && &1 11 1&

<a9ab: f'6% &% (% +) , &(0+ + 6&+ + 6(+ seder ana. Pen#elesaian #ang lebi "ini"al: (+ && & & & & &1 & 1 1 & 11 & & 1 1 1& & & & &

6& && &1 11 1&

f'6% &% (% +) , &(0+ + 6(+

,,,L lebi seder ana

*onto+ 6-.:- Seder anakan $ungsi (oolean #ang bersesuaian dengan Peta 4arnaug di ba9a ini. cd && & & 1 & &1 & & 1 1 11 & 1 1 1 1& & & 1 1 di atas) f'a% b% c% d) , ab + ad + ac

ab && &1 11 1&

<a9ab: 'li at Peta 4arnaug + bcd

*onto+ 6-.,- Mini"isasi $ungsi (oolean f'&% (% +) , &0+ + &0( + &(0+ + (+ <a9ab: &"+ , &0+'( + (0) , &0(+ + &0(0+ &0( , &0('+ + +0) , &0(+ + &0(+0 (+ , (+'& + &0) , &(+ + &0(+ f'&% (% +) , &0+ + &0( + &(0+ + (+

Rinaldi Munir/IF2151 Mat. DiskritPage 2?

, &0(+ + &0(0+ + &0(+ + &0(+0 + &(0+ + &(+ + &0(+ , &0(+ + &0(0+ + &0(+0 + &(+ + &(0+ Peta 4arnaug untuk $ungsi tersebut adala : (+ && & & &1 1 1 11 1 1 1& 1 &

&

& 1

+asil pen#eder anaan: f'&% (% +) , + + &0(+0 #eta !arnau2+ untuk li5a peuba+ && &1 11 1& &&& m& m@ m2. m1? &&1 m1 mA m25 m1; &11 mm11 m2; m1A &1& m2 m1& m2? m1@ 11& m? m1. m-& m22 111 m; m15 m-1 m21&1 m5 m1m2A m21 1&& m. m12 m2@ m2&

Iaris pen/er"inan *onto+ 6-7.- '8onto penggunaan Peta 5 peuba ) 8arila $ungsi seder ana dari f':% 6% &% (% +) , '&% 2% .% ?% A% 11% 1-% 15% 1;% 21% 25% 2;% 2A% -1) <a9ab: Peta 4arnaug dari $ungsi tersebut adala : &( + && &1 &1 11 11 1& 1& 1 & & 1 1 & && 1 & :6 && &1 11 1& 1 1 1 1 1 1 1 1 1 1 1 1 1 1

<adi f':% 6% &% (% +) , 6+ + :060+0 + :(0+

Rinaldi Munir/IF2151 Mat. DiskritPage 2;

Rinaldi Munir/IF2151 Mat. DiskritPage 2@

!ondisi Dont ;are Tabel 6-.: 6 & ( & & & & & & & & 1 & & 1 & 1 & & 1 & & 1 1 & 1 1 1 & & 1 & & 1 & 1 1 & 1 1 1 & 1 1 & 1 1 1 1 1 1 + & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 desi"al & 1 2 . 5 ? ; @ A don"t care don"t care don"t care don"t care don"t care don"t care :abel 5.1;. Mini"isasi $ungsi f

*onto+ 6-76- Diberikan seseder ana "ungkin. Tabel 6-., a b c & & & & & & & & 1 1 1 1 1 1 1 1 & & & & 1 1 1 1 & & & & 1 1 1 1 & & 1 1 & & 1 1 & & 1 1 & & 1 1 d & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1

f'a% b% c% d) 1 & & 1 1 1 & 1 ; ; ; ; ; ; ; ;

Rinaldi Munir/IF2151 Mat. DiskritPage 2A

<a9ab: Peta 4arnaug dari $ungsi tersebut adala : cd && 1 1 ; ; &1 & 1 ; & 11 1 1 ; ; 1& & & ; ;

ab && &1 11 1&

+asil pen#eder anaan: f'a% b% c% d) , bd + c0d0 + cd *onto+ 6-7:- Mini"isasi $ungsi (oolean f'&% (% +) , &0(+ + &0(+0 + &(0+0 + &(0+. Ia"barkan rangkaian logikan#a.
x y z x ' yz

x ' yz '

xy ' z '

xy ' z

z x ' yz

x ' yz '

<a9ab: Rangkaian logika $ungsi f'&% (% +) sebelu"

xy ' z '

xy ' z

di"ini"isasikan adala seperti di ba9a ini:

Rinaldi Munir/IF2151 Mat. DiskritPage -&

Mini"isasi dengan Peta 4arnaug adala sebagai berikut: (+ && & & 1 & 1 &1 & 1 11 1 & 1& 1 &

+asil "ini"isasi adala

f'&% (% +) , &0( + &(0.

*onto+ 6-7<- (erbagai siste" digital "enggunakan kode binar( coded decimal '(8D). Diberikan :abel 5.1A untuk kon=ersi (8D ke kode <&cess-- sebagai berikut: Tabel 6-.= Masukan (8D 6 & ( + & 1 2 . 5 ? ; @ A & & & & & & & & 1 1 & & & & 1 1 1 1 & & & & 1 1 & & 1 1 & & & 1 & 1 & 1 & 1 & 1 4eluaran kode <&cess-f2'6% &% f-'6% &% (% f.'6% &% (% (%+) +) +) & 1 1 1 & & 1 & 1 1 1 & 1 1 1 & & & & & 1 & 1 & & 1 1 1 & &

f1'6% &% (% +) & & & & & 1 1 1 1 1

'a) f1'6% &% (% +)

(+ && 6& && &1 11 1&

&1 1 ; 1

11 1 ; ;

1& 1 ; ;

; 1

f1'6% &% (% +) , 6 + &+ + &( , 6 + &'( + +)

'b) f2'6% &% (% +)

(+ && 6& &&

&1 1

11 1

1& 1

Rinaldi Munir/IF2151 Mat. DiskritPage -1

&1 11 1&

1 ;

; 1

; ;

; ;

f2'6% &% (% +) , &(0+0 + &0+ + &0( , &(0+0 + &0'( + +)

Rinaldi Munir/IF2151 Mat. DiskritPage -2

'/) f-'6% &% (% +)

(+ && 6& && &1 11 1& 1 1 ; 1

&1

11 1 1

1&

; ;

; ;

f-'6% &% (% +) , (0+0 + (+

'd) f.'6% &% (% +)

6& && &1 11 1&

(+ && 1 1 J 1

&1

11

1& 1 1 ; ;

; ;

f.'6% &% (% +) , +0
w x y z
f4

f3

f2

f1

Rinaldi Munir/IF2151 Mat. DiskritPage --

*onto+ ,-98 Mini"isasi $ungsi (oolean berikut ' asil pen#eder anaan dala" bentuk baku S7P dan bentuk baku P7S): f'6% &% (% +) , '1% -% ;% 11% 15) dengan kondisi don"t care adala d'6% &% (% +) , '&% 2% 5) Penyelesaian: Peta 4arnaug dari $ungsi tersebut adala :
yz w x 00 01 11 10 00 X 0 0 0 01 1 X 0 0 11 1 1 1 1 10 X 0 0 0

+asil pen#eder anaan dala" bentuk S7P f'6% &% (% +) , (+ + 60+ 'S7P) 'garis penu ) dan bentuk baku P7S adala f'6% &% (% +) , + '60 + () 'P7S) 'garis putus2) Metode >uine(M;*luske
Metode Peat 4arnaug

tidak "angkus untuk *u"la peuba L ? 'ukuran peta se"akin besar). Metode peta 4arnaug lebi sulit diprogra" dengan ko"puter karena diperlukan penga"atan =isual untuk "engidenti$ikasi minterm$minterm #ang akan dikelo"pokkan. Metode alternati$ adala "etode Kuine-M/8luske# . Metode ini "uda diprogra".

Rinaldi Munir/IF2151 Mat. DiskritPage -.

*onto+ ,-9: Seder anakan $ungsi (oolean f'6% &% (% +) , '&% 1% 2% @% 1&% 11% 1.% 15). Penyelesaian: Eangka 1 sa"pai 5: 'a)'b) '/) term 6 & ( + + & & 1 2 @ @%1& 1 & M & 1& 11 1. 15
'i) Eangka

term 6&(+ &%1 &%2 &%@ &&&&&-& -&&&

term &%2%@%1& &%@%2%1& 1&%11%1.%15

6 & ( -&-& - & M 1 M 1 1 M 1

&&&& &&&1 &&1& 1&&& 1&1& 1&11 111& 1111 ? dan ;:

2%1& - & 1 &

1&%1.%11%15

1&%11 1 & 1 1&%1. 1 M 1 & 11%15 1 M 1 1 1.%15 1 1 1 -

minterm (entuk pri"a &%1 &%2%@%1& 1&%11%1.%15 > > > > > > & 1 2 @ 1& 11 1. 15

(entuk pri"a #ang terpili adala : &%1 #ang bersesuaian dengan term 60&0( &% 2% @% 1& #ang bersesuaian dengan term &0+0 1&% 11% 1.% 15 #ang bersesuaian dengan term 6(

Rinaldi Munir/IF2151 Mat. DiskritPage -5

Se"ua bentuk pri"a di atas suda "en/akup se"ua minterm dari $ungsi (oolean se"ula. Dengan de"ikian% $ungsi (oolean asil pen#eder anaan adala f'6% &% (% +) , 60&0(0 + &0+0 + 6(. *onto+ ,-9, Sederhanakan fungsi !!lean f(w, x, y, z) = (1,4,",#,$,%,10,11,1&) Pen#elesaian:
'i) 'angkah 1 sa()ai &:

'a)

'b)

'/) term 6 & ( + 1%A .%? -&&1 &1-& @%A 1 & & @%1& 1 & M & ?%; & 1 1 A%11 1 & - 1 1&%1 1 & 1;%15 - 1 1 1 11%15 1 M 1 1 term @%A%1&%11 @%1&%A%11 1&-1&--

term 6 & ( + 6&(+ 1 . @ ? A 1& ; 11 &&&1 &1&& 1&&& &11& 1&&1 1&1& &111 1&11

15 1 1 1 1 'i) 'angkah " dan #

minterm (entuk pri"a 1 15 1%A .%? ?%; ;%15 11%15 @%A%1&%11 > > > > . ? ; @ A 1& 11

Sa"pai ta ap ini% "asi ada dua minterm #ang belu" ter/akup dala" bentuk pri"a terpili % #aitu ; dan 15. (entuk pri"a #ang

Rinaldi Munir/IF2151 Mat. DiskritPage -?

tersisa 'tidak terpili ) adala '?%;)% ';%15)% dan '11% 15). Dari ketiga kandidat ini% kita pili bentuk pri"a ';%15) karena bentuk pri"a ini "en/akup minterm ; dan 15 sekaligus. minterm (entuk pri"a 15 1%A .%? ?%; ;%15 11%15 @%A%1&%11 > > > > 1 . ? ; @ A 1& 11

Sekarang% se"ua minterm suda ter/akup dala" bentuk pri"a terpili . (entuk pri"a #ang terpili adala : 1%A .%? /,1=,>,1 ,11 6&0 #ang (an4 (an4 (an4 bersesuaian bersesuaian bersesuaian bersesuaian dengan den4an den4an dengan term term term term &0(0+ 6"&+" &(+

Dengan de"ikian% $ungsi (oolean asil pen#eder anaan adala f'6% &% (% +) , &0(0+ + 60&+0 + &(+ + 6&0.

Rinaldi Munir/IF2151 Mat. DiskritPage -;

Lati+an soal 1. I"ple"entasikan $ungsi f'&% (% +) , '&% ?) dan an#a dengan gerbang G2GD sa*a. 2. Iunakan Peta 4arnaug untuk "eran/ang rangkaian logika #ang dapat "enentukan apaka sebua angka desi"al #ang direpresentasikan dala" bit biner "erupakan bilangan genap atau bukan '#aitu% "e"berikan nilai 1 *ika genap dan & *ika tidak). -. Sebua instruksi dala" sebua progra" adala i? 2 L ( t+en @riteln'2) else @riteln'()N .. Gilai 0 dan B #ang dibandingkan "asing-"asing pan*angn#a dua bit '"isalkan a1a2 dan b1b2). 'a) (uatla rangkaian logika '#ang suda diseder anakan tentun#a) #ang "eng asilkan keluaran 1 *ika 0 L B atau & *ika tidak. 'b) Ia"barkan ke"bali rangkaian logikan#a *ika an#a "enggunakan gerbang ?0?D sa*a 'petun*uk: gunakan uku" de Morgan) 5. (uatla rangkaian logika #ang "eneri"a "asukan dua-bit dan "eng asilkan keluaran berupa kudrat dari "asukan. Sebagai /onto % *ika "asukann#a 11 '- dala" siste" desi"al)% "aka keluarann#a adala 1&&1 'A dala" siste" desi"al).

Rinaldi Munir/IF2151 Mat. DiskritPage -@