To bng karnaugh t biu thc ban u ta da vo bng:

V d biu thc ban u l: wxyz'+wxy'z'+wx'yz+wx'yz'+wx'y'z'+w'xyz+w'xyz'+w'xy'z'+w'xy'z+w'x'yz'+w'x'y'z'

Ta s chuyn sang karnaugh nh sau:

Karnaugh Maps - Rules of Simplification Cc nhm gom khng c cha no cha s 0:

Cc nhm phi theo chiu dc hoc ngang, khng c cho.

Nhm gom phi bao gm 1,2,4,8,16 , ni cch khc 2^n . n=1, nhm s bao gm 2 . n=2, nhm s bao gm 4 vv

Mi nhm phi c s nhm nhiu nht c th.

Each cell containing a one must be in at least one group.

Cc nhm gom c th chng ln nhau.

Nhm gom c th bao bn ngoi bng. cc bn tri ca bng c th nhm vi cc bn phi ca bng v cc pha trn ca bng c th nhm vi cc di y bng.

t nhm nht c th.

1. Vn bi ton t ra: Lm sao v bng karnaugh trong maple. Lm sao chuyn t biu thc boolean sang karnaugh. Lm sao gom nhm khi c bng karnaugh. 2. Gii quyt vn nh cc hm v cc cu lnh, cc khi lnh iu khin trong maple. a. Gii quyt vn lm sao v bng karnaugh trong maple Trong maple h tr chng ta v cc line vi mu sc, v tr, kch c khc nhau bng dng lnh: line([x,y],[z,w]): Trong [x,y] l ta in u, [z,w] l ta in cui, ta xem h ta trong maple:

Tip theo l lnh hin th line ln: Display(line[0,0],[3,4],color=red,linestyle=dash) Line l ng cn v, color m sc line, linestyle l kiu line c th nt t hoc lin

hin th cc s mt trong bng ta c lnh: Textplot([-1,2,1,font=[TIME,ROMAN,20]]): Trong -1,2 l ta hin th,1 l text mun hin th, tip theo l font ch v kch c ch, mun hin th n ln cn trong cu lnh display(); C ba lnh ny nm trong hai gi: With(plottools): With(plots): V vy khi s dng hai lnh ny ta s phi gi hai gi ny. Vy ta s ni cc line to ra bng karnaugh, cc textplot hin th cc s 1 trong bang. Vn mt c gii quyt.

b. Vn 2 lm sao chuyn t biu thc boolean sang bng karnaugh Biu thc nhp vo l mt chui dng: w'x'yz+w'xyz+wxyz+wx'yz+wxy'z'+wxy'z+wxyz Ta s dng cu lnh Split trong gi with(StringTools) ct du + v cc phn t trong biu thc vo mt list. { w'x'yz, w'xyz, wxyz, wx'yz, wxy'z', wxy'z, wxyz}. Tip theo vi mi chui trong list ny ta xt n thuc trng hp no 4 bin, 3 bin hay hai bin bng cch m s ch ci trong chui s dng cu lnh: Member(list[i],{$az}) . Khi bit c thuc trng hp no ta s s dng cu trc iu khin: if iu kin then thc hin elif iu kin then thc hin fi: Vi chui dng wxyz th v tr v chnh gia s 1 trong bng karnaugh tng t vi cc trng hp khc, sau hin th v tr bng cu lnh display.

C nh vy cho n ht list ta s chuyn c qua bng karnaugh, vn 2 c gii quyt. c. Vn lm sao gm nhm c khi c bng karnaugh Vn gom nhm hon ton da vo 7 lut trong phn u cp S dng ch yu cc lnh if, v vng lp for gii quyt vn . 3. Gii thch cc hm trong chng trnh:
hm ny lm nhim v cung cp cc line v textplot hin th bng trng. hm ny lm nhim v l tm cc nhm c mt , ch khng c trng vi cc nhm, cc ny thng l khng th nhm cp cao hn. hm ny tm nhng nhm c 2 , khng trng vi cc nhm 4 , 8 nhm trc . hm ny tm nhng nhm c 4 , khng b trng vi cc nhm 8 nhm trc . hm ny tm nhng nhm c 8 , ch khng c nhm li cc nhm m c 16 . hm ny to ra ma trn tng ng vi cc phn b trn bng karnaugh. ct biu thc ban u thnh mt list cha cc tch d s l. m s k t l ch trong mt chui. v karnaugh t biu thc vo. hm chnh gi tt c cc hm trn chy chng trnh.