"loogkafunktsioonide" - 1 õppematerjal

Diskreetne matemaatika eksami kordamise materjal

igale üksikule muutujale omistatavat väärtust ning omandab ka funktsioon ise väärtuse.  Algterm on avaldise koosseisu kuuluv muutuja, inversioon või konstant.  Keerukus on koosseisu kuuluvate algtermide arv.  Klassid: nullisäilitav, ühtesäilitav, pööratav(muutujate inverteerimine == funktsiooni inverteerimine), monotoone(pole inversiooniga algterme), lineaarne(?).  Baas on minimaalne täielik loogkafunktsioonide süsteem.  Täielikkuse kriteerium – funktsioonide mittekuulumine klassidesse.  Red-müller: konj, +, 1. Katta K-kaart nii, et kontuurid ei kattuks, siis v == +.  Või-ei baas(Pierce’i baas), ei oma ülemineku seoseid. KNK topeltinversioon!  Ja-ei baas(Shefferi baas). DNK topeltinversioon!  Implikatiivne baas: {0 imp}. Või {- imp}  Baas {+ imp}