d. demonstratsioon korrektsusest {voo diagramm või loenduriga simuleerimine, ...} e. "Mis juhtub, kui ... ?" - tüüpi suvaline küsimus Kusjuures segmentindikaatori segmendid on markeeritud alljärgnevalt: Näide (segment a, nor baas) Segmentindikaatori segmendi a väärtused arvude 0 - 9 korral on {1, 0, 0, 0, 1, 1, 1, 0, 1, 1}, ning ülejäänud väärtuste korral meid väljund ei huvita. Diletant teeks disjunktiivse või konjunktiivse Karnaugh kaardi, kus tundmatud võimaldavad paremat minimaalset kuju valida. Ning kasutades De Morgani seaduseid element baasi vahetamiseks. Alternatiivne lahendus. Soovime korrektselt ja kontrollitavalt realiseerida minimaalse Boole'i funktsiooni nor loogika elementidel, teades et funktsiooni sisendile {a, b, c, d} peab vastama väljund, mille esimese 10 väärtust on {1, 0, 0, 0, 1, 1, 1, 0, 1, 1}. Üks vaste sellele oleks Mathematica koodis või WolframAlpha.com'is (link avab lahenduse):
MKNK: x3x4 x1x2 00 01 11 10 00 1 - - 1 01 0 1 - 1 11 0 0 1 - 10 - 0 1 - Kaardilt saan välja kirjutada antud funktsiooni minimaalse konjunktiivse normaalkuju: f (x1,x2,x3,x4) = ( x 2 x3 x 4 ) ( x1 x3 ) MDNK: Ind Int. M Ind. Int. M Indeks Int. M Indeks Int. M .0 0000 X 0-1 000- X 0-1-1-2 00-- A1 1-2-2-3-3-4 --1- A4 1 0001* X 00-0 X -0-0 A2 0010 X -000 X 1-2-2-3 0--1 A3 1000* X 1-2 00-1* X 0-1- X 0-01 X -01- X 2 0011* X
A5¿ Selgub, et lihtimplikant A1 (0– –0) on oluline, kuna vaid see katab ainsana ära argumentvektori 2 (0010). Järele jäänud lihtimplikantidest võib valida suvalise, kuna need kõik katavad ära vektori 12 (1100). Valime A3 (–1–0). Lihtimplikantide A1 ja A3 järgi saab välja kirjutada lõpuni määratud loogikafunktsiooni minimaalse konjunktiivse normaalkuju: f MKNK =( x 1 ∨ x 4 )( x´2 ∨ x 4) 4 3.3 VÕRDLUS Saime f MDNK =x 1 x´2 ∨ x 4 ja f MKNK =( x 1 ∨ x 4 )( x´2 ∨ x 4) . Tahame teada, kas saadud minimaalsed normaalkujud on teineteisega loogiliselt võrdsed või mitte. Selleks koostame kummagi loogikafunktsiooni jaoks tõeväärtustabelid ning võrdleme neid.
= x3 x 4 ( x1 x 2 x 2 11 x1 x 2 0) x3 x 4 ( x1 x 2 x 2 10 x1 x 2 1) x3 x 4 ( x1 x 2 x 2 01 x1 x 2 0) x3 x 4 ( x1 x 2 x 2 00 x1 x 2 1) = = x3 x 4 ( x1 x 2 x 2 ) x3 x 4 ( x1 x 2 x1 x 2 ) x3 x 4 ( x1 x 2 ) x3 x 4 ( x1 x 2 x1 x 2 ) = = x3 x 4 ( x 2 ) x3 x 4 ( x1 x 2 x1 x 2 ) x3 x 4 ( x1 x 2 ) x3 x 4 ( x1 x 2 x1 x 2 ) 8. Leian punktis 2 saadud MDNK-le Shannoni konjunktiivse arenduse vabaltvalitud 2he muutuja järgi. x x x 2 x3 x 4 x1 x 2 x 4 MDNK: f(x1,x2,x3,x4) = 1 2 Leian Shannoni disj. arenduse muutujate x 2 x3 järgi: f(x 1 , x 2 , x 3 , x 4 ) = x1 x 2 x 2 x3 x 4 x1 x 2 x 4 = = [ x 2 x3 f ( x111x 4 )][ x 2 x3 f ( x110 x 4 )][ x 2 x3 f ( x1 01x 4 )][ x 2 x3 f ( x1 00 x 4 )] = = [ x 2 x3 ( x1 0 00 x 4 x11x 4 )][ x 2 x3 ( x1 0 01x 4 x11x 4 )] &
1 2 3 4 1 2 3 4 x 2 ´x 4 Shannoni konjunktiivne arendus vabalt valitud 2he muutuja järgi. Leian Shannoni konjunktiivse arenduse muutujate x2 ja x4 järgi: f =[ x v x v f ( x 0 x 0)] * [ x v ´x v f ( x 0 x 1)] * [
A3 x x A4 x A5 x x A6 x x x x A7 x x x x Lihtimplikantide A1, A3, A5 ja A7 järgi saab välja kirjutada lõpuni määratud loogikafunktsiooni minimaalse konjunktiivse normaalkuju: 𝒇(xMKNK (x1x2x3x4) = A1 v A3 v A5 v A7 = (x1 v x2 v x3)(x1 v x 2 v x 3)(x 1 v x2 v x 3) Ʌ Ʌ (x 3 v x4) 6 3.3 VÕRDLUS Tuvastan, kas leitud MDNK ja MKNK on teineteisega loogiliselt võrdsed või mitte.Selleks koostame kummagi loogikafunktsiooni jaoks tõeväärtustabelid ning võrdleme neid. 𝒇(xMKNK(x1x2x3x4) = (x1 v x2 v x3)(x1 v x 2 v x 3)(x 1 v x2 v x 3)(x 3 v x4)
annaabi.ee 
