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 ) A4 0 1 0 0 X2 * X3' ( A3-ga kaasnes vahe 1, 8 ) McCluskey' meetodi järgi leitud MDNK on:
Lihtimplikandid 2 4 8 9 15 * * * 4 A1 1 1 1 1 A2 1 1 A3 1 1 A4 1 1 A5 1 1 A6 1 1 Katan ilma tärnita veerud (1de piirkonna) vähemalt ühe valitud reaga (lihtimplikandiga). Määramatused võib katmisel välja jätta. Valin A2, A4, A5, A6. Minimaalne disjunktsioonkuju tuleb 4-ja elementaarkonjuktsiooniga. f = A2 V A4 V A5 V A6 Võtan lihtimplikantide koosseisust suvalise argumentvektori ja loobun 2ndarvu nendest järkudest, mille kaal võrdub vahega. Valitud Lihtimplikandid x x x x Alles jääb 10nd arv 1 2 3 4 A2 15 1 1 1 1 x1x2x3
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 Lihtimplikant ei sisaldu tervikuna mitte üheski veelgi suuremas selle A1 0 0 1 x3 ( A1-ga kaasnes vahe 2,4 )
annaabi.ee 
