vaadeldud viiest funktsioonide klassist. Järelikult on võimalik moodustada kaks ühe funktsioonilist baassüsteemi: · Pierce'i baas B1 ={ f8 } · Shefferi baas B2 ={ f14 } Ülejäänud funktsioonide baasil on võimalik klassidesse mittekuuluvuse alusel moodustada veel seitse baassüsteemi. · Konjunktiivne baas B3 ={ f1 , f12 } · Disjunktiivne baas B4 ={ f7 , f12 } · Implikatiivsed baasid B5 ={ f12 , f13 }, B6 ={ f0 , f13 }, B7 ={ f6 , f13 } · Read-Mülleri baas (Zhegalkini baas) B8 ={ f1 , f6 , f15 } · B9 ={ f6 , f7 , f15 } Baaside leidmiseks võib kasutada katteülesande modifikatsiooni, kus veergudeks on vastavasse klassi mittekuuluvus, ridadeks aga vaadeldav funktsioonide alamhulk. Baassüsteemi moodustavad funktsioonid (read), mis katavad mittekuuluvuse kõigisse viide klassi. Loogikafunktsiooni esitamine baassüsteemides Olgu antud funktsioon DNK kujul (või KNK kujul): f ( x1 , x2 , x3 ) = x1 x 2 x3 = ( x1 x 2 )( x1 x3 )
vaadeldud viiest funktsioonide klassist. Järelikult on võimalik moodustada kaks ühe funktsioonilist baassüsteemi: Pierce'i baas B1 ={ f8 } Shefferi baas B2 ={ f14 } Ülejäänud funktsioonide baasil on võimalik klassidesse mittekuuluvuse alusel moodustada veel seitse baassüsteemi. Konjunktiivne baas B3 ={ f1 , f12 } Disjunktiivne baas B4 ={ f7 , f12 } Implikatiivsed baasid B5 ={ f12 , f13 }, B6 ={ f0 , f13 }, B7 ={ f6 , f13 } Read-Mülleri baas (Zhegalkini baas) B8 ={ f1 , f6 , f15 } B9 ={ f6 , f7 , f15 } Baaside leidmiseks võib kasutada katteülesande modifikatsiooni, kus veergudeks on vastavasse klassi mittekuuluvus, ridadeks aga vaadeldav funktsioonide alamhulk. Baassüsteemi moodustavad funktsioonid (read), mis katavad mittekuuluvuse kõigisse viide klassi. Loogikafunktsiooni esitamine baassüsteemides 26 Olgu antud funktsioon DNK kujul (või KNK kujul):