Esitame funktsiooni f(x1, x2, x3) baassüsteemides B1 kuni B9 . · B1 ={ f8 } Teisenduseks on sobivaim lähtuda KNK-st, inverteerida funktsiooni kahekordselt ning rakendada De Morgani seadust. Resultaat: f(x1, x2, x3) = ( x1 ( x2 x2 ) ) ( x1 x3 ) · B2 ={ f14 } Teisenduseks sobib funktsiooni DNK-d inverteerida kahekordselt ja rakendada De Morgani seadust. Resultaat: f(x1, x2, x3) = ( x1 x1 ) (( x2 x2 ) x3 ) · B3 ={ f1 , f12 } Lähtuda võib suvalisest normaalkujust, ellimineerides mittelubatud disjunktsiooni. Erinevus baasist B2 seisneb selles, et baas B3 lubab kasutada "puhast" konjunktsiooni (ilma inversioonita). Resultaat: f(x1, x2, x3) = ( x1 & x2 ) & ( x1 & x 3 ) 27 · B4 ={ f7 , f12 } Teisendus analoogiline teisendusega baassüsteemi B3 . Erinevusena baasist B1 märgime "puhta" disjunktsiooni kasutamise võimalust. Resultaat: f(x1, x2, x3) = x1 ( x2 x3 ) · B5 ={ f12 , f13 }
B1 ={ f8 } Teisenduseks on sobivaim lähtuda KNK-st, inverteerida funktsiooni kahekordselt ning rakendada De Morgani seadust. Resultaat: f(x1, x2, x3) = x1 x2 x2 x1 x3 B2 ={ f14 } Teisenduseks sobib funktsiooni DNK-d inverteerida kahekordselt ja rakendada De Morgani seadust. Resultaat: f(x1, x2, x3) = x1 x1 x2 x2 x3 B3 ={ f1 , f12 } Lähtuda võib suvalisest normaalkujust, ellimineerides mittelubatud disjunktsiooni. Erinevus baasist B2 seisneb selles, et baas B3 lubab kasutada "puhast" konjunktsiooni (ilma inversioonita). Resultaat: f(x1, x2, x3) = x1 & x2 & x1 & x 3 B4 ={ f7 , f12 } Teisendus analoogiline teisendusega baassüsteemi B3 . Erinevusena baasist B1 märgime "puhta" disjunktsiooni kasutamise võimalust. Resultaat: f(x1, x2, x3) = x1 x2 x3 B5 ={ f12 , f13 } Teisenduseks kasutame järgmisi abivalemeid: