A3 1 1 1 1 A4 Valitud 1 1 1 1 A5 1 1 f = A1 v A2 v A4 Valitud ridadele vastavatest lihtimplikantidest kirjutan igaühest välja ühe tema suvalise kahendvektori ja igast kahendvektorist elimineerin välja need järgud, mille kaaluga võrdne vahe kaasnes selle lihtimplikandiga A. Kahendvektori säilinud järguväärtus '1' annab vastava muutuja otseväärtuse ja '0' annab inversiooni: X1 X2 X3 X4 8 4 2 1 A1 0 0 0 0 X1' * X3' ( A1-ga kaasnes vahe 1, 4 ) A2 0 0 0 0 X1' * X4' ( A2-ga kaasnes vahe 2, 4 )
f(x1 ,x2 ,x3, x4 ) = A4 A6 A2 = x 2 x3 x3 x4 x1 x2 x4 Kommentaarid: 1. Muutujate kaalud (antud juhul 8-4-2-1) ja vahede väärtused määravad konjunktsioonides mitteosalevad argumendid. Näiteks vahedest 1,8 (implikant A4) tulenevalt ei osale nimetatud konjunktsioonis argumendid x1 ja x4 . 2. Ülejäänud argumentide märgid tulenevad suvalisest implikandi kirjeldusse kuuluva kümnendnumbri kahendkoodist (s.o. vastavast kahendvektorist). Näiteks implikandi A4 koosseisus olevate kõigi numbrite 0,1,8 ja 9 kahendkoodides on x2 = 0 ja x3 = 0. Seega konjunktsiooniks tuleb x 2 x 3 . 20 Edasises kirjelduses põhineme McCluskey numbrilisele meetodile. McCluskey meetodiga on võimalik analoogiliselt tuletada ka minimaalne KNK, samuti minimeerima osaliselt määratud loogikafunktsioone. Peatume järgnevalt nendel probleemidel. · Minimaalse KNK tuletamine
f(x1 ,x2 ,x3, x4 ) = A4 A6 A2 = x 2 x3 x3 x4 x1 x2 x4 Kommentaarid: 1. Muutujate kaalud (antud juhul 8-4-2-1) ja vahede väärtused määravad konjunktsioonides mitteosalevad argumendid. Näiteks vahedest 1,8 (implikant A4) tulenevalt ei osale nimetatud konjunktsioonis argumendid x1 ja x4 . 2. Ülejäänud argumentide märgid tulenevad suvalisest implikandi kirjeldusse kuuluva kümnendnumbri kahendkoodist (s.o. vastavast kahendvektorist). Näiteks implikandi A4 koosseisus olevate kõigi numbrite 0,1,8 ja 9 kahendkoodides on x2 = 0 ja x3 = 0. Seega konjunktsiooniks tuleb x 2 x 3 . Edasises kirjelduses põhineme McCluskey numbrilisele meetodile. McCluskey meetodiga on võimalik analoogiliselt tuletada ka minimaalne KNK, samuti minimeerima osaliselt määratud loogikafunktsioone. Peatume järgnevalt nendel probleemidel. Minimaalse KNK tuletamine
A1 0 0 1 0 0 1 1 0 ja 3 kahevektorilist 1de intervalli: A2 0 0 1 A3 1 1 1 f: {100 101} {001 011} {001 101} 1 1 1 0 0 Suuremaid (ehk "neljaseid") 1de 9. Igast kahendvektorist elimineeritakse välja need järgud, mille kaaluga intervalle sellel funktsioonil pole. võrdne vahe kaasnes selle lihtimplikandiga A: Seega omab vaadeldav 3me muutuja funktsioon 7 implikanti. x1 x2 x3 Lihtimplikandiks nimetatakse maksimaalset (ehk suurimat) implikanti. 4 2 1