Mis on Diskreetne Matemaatika
Loogikafunktsioonide süsteem on täielik, kui ta sisaldab f 5 = x2 f 10 = x̄ 2
vähemalt ühte 0-lli mittesäilitavat funktsiooni;
vähemalt ühte 1-te mittesäilitavat funktsiooni; f 11 = x 2 → x 1 ( pöördimplikatsioon)
vähemalt ühte mittepööratavat funktsiooni;
vähemalt ühte mittemonotoonset funktsiooni; mis on oma operandi triviaalsed taasesitused ( f 3 f 5 ) või mis dubleerivad
(vahetatud operandidega) mõnda eespool loetelus juba leiduvat tehet.
vähemalt ühte mittelineaarset funktsiooni.
Kuna süsteemi täielikkuse kriteerium põhineb funktsioonide mittekuulumisel
annaabi.ee 
