Mis on Diskreetne Matemaatika
vähemalt ühte mittelineaarset funktsiooni.
Kuna süsteemi täielikkuse kriteerium põhineb funktsioonide mittekuulumisel
Nende viie tingimuse samaaegse täidetuse nõue ei tähenda, et täielik süsteem klassidesse K0 K1 Kp Km Kl , siis järgnev tabel esitab 2-muutuja
peaks koosnema vähemalt viiest loogikafunktsioonist. Täielikuks võib funktsioonide omadusi, rõhutades nende mittekuulumist konkreetsesse
osutuda ka ainult ühe funktsiooniga süsteem { f }, kui selle süsteemi ainus klassi:
funktsioon f ei kuulu mitte ühtegi klassi viiest:
( f ∉ K 0 ) ∧ ( f ∉ K 1 ) ∧ ( f ∉ Kp ) ∧ ( f ∉ Km ) ∧ ( f ∉ Kl )
K0 K1 Kp Km Kl __