Mis on Diskreetne Matemaatika
funktsioonide { f i f j . . . } read katavad ühiselt märgiga ∉ eelnevas
tabelis kõik veerud K0 K1 Kp Km Kl , siis { f i f j . . . } { f6 f7 f15 } = { ⊕ Z 1 }
osutub täielikuks süsteemiks.
{ f 1 f 6 f9 } = { & ⊕ ↔ }
Baas on minimaalne täielik loogikafunktsioonide süsteem. { f1 f6 f15 } = { & ⊕ 1 } (Zegalkini baas e. Read-Mülleri baas)
Suvalise funktsiooni väljajätmisel baasist tema täielikkus kaob. Ilmneb, et
Täielike süsteemidega tegelemisel on huvipakkuvad just baasid. — konjunktsiooni inversioon moodustab üksikult baasi (JA-EI baas)
— disjunktsiooni inversioon moodustab üksikult baasi (VÕI-EI baas)
Eelnevast tabelist ilmneb, et funktsioonidest f 0 . .