.., n) ( f i ( 1 ,2 ,...,n ) f i ( 1 , 2 ,..., n ) ) } Iga loogikafunktsioon, mis ei sisalda DNK kujus inversioone, on monotoonne ning vastupidi, iga monotoonne loogikafunktsioon on esitatav DNK-na, mis ei sisalda inversioone. { f0, f1, f3, f5, f7, f15 } Kmon · Loogikafunktsioonide klass S on suletud, kui suvaline selle klassi funktsioonide superpositsioon kuulub samuti klassi S. Klassid Klin ja Kmon on suletud klassid. · Süsteem S on nõrgalt täielik, kui ta võimaldab pärast konstantfunktsioonide f0=0 ja f15=1 lisamist esitada suvalist funktsiooni fi(x1 ,x2 ,..... ,xn ) läbi süsteemi {S, f0, f15} superpositsiooni. · Selleks, et süsteem S oleks nõrgalt täielik, on piisav ja tarvilik, et ta sisaldaks ühte mittemonotoonset ja ühte mittelineaarset funktsiooni. Näiteks süsteem {&,} on nõrgalt täielik, kuna & on mittelineaarne ja mittemonotoonne. · Selleks, et süsteem S oleks tugevalt täielik (edasises täielik), on piisav ja tarvilik, et ta
iga monotoonne loogikafunktsioon on esitatav DNK-na, mis ei sisalda inversioone. 25 { f0, f1, f3, f5, f7, f15 } Kmon Loogikafunktsioonide klass S on suletud, kui suvaline selle klassi funktsioonide superpositsioon kuulub samuti klassi S. Klassid Klin ja Kmon on suletud klassid. Süsteem S on nõrgalt täielik, kui ta võimaldab pärast konstantfunktsioonide f0=0 ja f15=1 lisamist esitada suvalist funktsiooni fi(x1 ,x2 ,..... ,xn ) läbi süsteemi {S, f0, f15} superpositsiooni. Selleks, et süsteem S oleks nõrgalt täielik, on piisav ja tarvilik, et ta sisaldaks ühte mittemonotoonset ja ühte mittelineaarset funktsiooni. Näiteks süsteem {&,} on nõrgalt täielik, kuna & on mittelineaarne ja mittemonotoonne. Selleks, et süsteem S oleks tugevalt täielik (edasises täielik), on piisav ja tarvilik, et ta