sihthulka. Funktsiooni 1-de piirkonna 𝑉1⊂{0 1}𝑛 mood. need argumentvektorid 𝑥1𝑥2..𝑥𝑛∈𝑉1 mille korral 𝑓(𝑥1𝑥2..𝑥𝑛)=1. Funktsiooni 0-de piirkonna 𝑉0⊂{0 1}𝑛 −..−. n-muutuja loogikaFni mingi muutuja 𝑥𝑖 on mitteoluline muutuja, kui talle omistatav loogikaväärtus ei mõjuta kuidagi F-ni väärtust. Mitteoluliste muutujatega F-n on alati teisendatav kujule, kus mitteolulised muutujad puuduvad. LoogikaF on osaliselt määratud, kui tema lähtehulgaks olevas Boole’i ruumis leidub selliseid argumentvektoreid 𝑥1𝑥2..𝑥𝑛∈{0,1}𝑛 mille jaoks pole rangelt määratud, kumba loogikaväärtuse 0 või 1 funktsioon nende korral omandama peab. Sellised argumentvektorid moodustavad F-ni määramatuspiirkonna 𝑉−⊂{0 1}𝑛. Piirkondade ühend 𝑉0∪𝑉1∪𝑉−={0 1}𝑛 Funktsioon on täielikult määratud, kui ta määramatuspiirkond on jaotatud 1-de ja 0-de pk vahel. Kui
sihthulka. Funktsiooni 1-de piirkonna 𝑉 1 ⊂ {0 1}𝑛 mood. need argumentvektorid 𝑥1 𝑥2 . . 𝑥𝑛 ∈ 𝑉 1 mille korral 𝑓(𝑥1 𝑥2 . . 𝑥𝑛 ) = 1. Funktsiooni 0-de piirkonna 𝑉 0 ⊂ {0 1}𝑛 −. . −. n-muutuja loogikaFni mingi muutuja 𝑥𝑖 on mitteoluline muutuja, kui talle omistatav loogikaväärtus ei mõjuta kuidagi F-ni väärtust. Mitteoluliste muutujatega F-n on alati teisendatav kujule, kus mitteolulised muutujad puuduvad. LoogikaF on osaliselt määratud, kui tema lähtehulgaks olevas Boole’i ruumis leidub selliseid argumentvektoreid 𝑥1 𝑥2 . . 𝑥𝑛 ∈ {0,1}𝑛 mille jaoks pole rangelt määratud, kumba loogikaväärtuse 0 või 1 funktsioon nende korral omandama peab. Sellised argumentvektorid moodustavad F-ni määramatuspiirkonna 𝑉 − ⊂ {0 1}𝑛 . Piirkondade ühend 𝑉 0 ∪ 𝑉 1 ∪ 𝑉 − = {0 1}𝑛
Taandatud DNK ja Täielik DNK, näidates (selgitades) mõlema jaoks ära ka nende leidmisviisi. Taandatud DNK saab välja kirjutada punktis 2 koostatud McCluskey' minimeerimismeetodist. Sel juhul võrdub taandatud disjunktiivne normaalkuju lihtimplikantide disjunktsiooniga. Taandatud DNK: f ( x1 ; x 2 ; x3 ; x 4 ) = x1 x 2 x 2 x 4 x1 x 4 x3 Loogikafunktsiooni Täielik DNK on normaalkuju, milles iga elementaarkojunktsioon sisaldab loogikaf.-ni kõiki argumente (või nende inversioone). ühtede piirkonna kümnenednumbrile kahendvektorile vastav kümnendnumber vastav kahendvektor elementaarkonjunktsioon 0 0000 x1 x 2 x 3 x 4 2 0010 x1 x 2 x3 x 4
Taandatud DNK on funktsiooni kõigi lihtimplikantide disjunktsioon. TaDNK võib sisaldada ka liiased liikmeid. Funktisooni lihtimplikantide hulga leidsin McCluskey meetodiga lõigus 2.1. Sellele hulgale vastav funktsiooni taandatud disjunktiivne normaalkuju: TaDNK f(x1,x2,x3,x4) = x1 x 2 x 4 x1 x 3 x 2 x 3 x 3 x 4 2.4 Täieliku DNK leidmine Loogikafunktsiooni Täielik DNK on normaalkuju, milles iga elementaarkojunktsioon sisaldab loogikaf.-ni kõiki argumente (või nende inversioone). S.t iga elementaarkonjunktsiooni pikkus on võrdne f.-ni argumentide arvuga. Antud juhul 4-ga. Igal loogikafunktsioonil on täpselt üks TDNK. TDNK leidmise meetod: · võtan f.-ni ühtede piirkonna mingi kümnendnumbri · leian kümnendnubrile vastava kahendvektori · leian kahendvektorile vastava elementaarkonjunktsiooni · lisan elementaarkonjunktsiooni funktsiooni TDNK avaldisse
Loogikaelement e gate teatud Boole'i funktsiooni realiseeriv mikolülitus. AND järjestikku asetsevad lülitid OR paralleelselt asetsevad lülitid NOT elektromagnet, mis ühendab lahti, kui vool on ... kokku ühendatud nMOS ja pMOS transistorid, pnp TTL tranistor NAND and+inversoon NOR or+inversioon summa-mod-2 Täielik loogikafunktsioonide süsteem on selline, milles saab kirjeldada iga eksisteerivat Boole'i funktsiooni. Näiteks: and-or-not või and-not süsteem. Loogikaf.-ni superpositsioon on f.-n, milles mingi(d) argument(id) on asendatud nende väärtust arvutavate funktsioonidega. 3. Kombinatsioonskeem: digitaalskeem, milles, teades sisendite väärtusi, võime väljundid välja arvutada üheselt, väljundid on määratud üks-üheselt sisendite väärtustega. Järjestikskeem: digitaalskeem, milles väljundi väärtus sõltub eelmistest, eelnevatel diskreetse aja hetkedel I/O-s olnud väärtustest skeemil on mäluolek.
Loogikaelement e gate teatud Boole'i funktsiooni realiseeriv mikolülitus. AND järjestikku asetsevad lülitid OR paralleelselt asetsevad lülitid NOT elektromagnet, mis ühendab lahti, kui vool on ... kokku ühendatud nMOS ja pMOS transistorid, pnp TTL tranistor NAND and+inversoon NOR or+inversioon summa-mod-2 Täielik loogikafunktsioonide süsteem on selline, milles saab kirjeldada iga eksisteerivat Boole'i funktsiooni. Näiteks: and-or-not või and-not süsteem. Loogikaf.-ni superpositsioon on f.-n, milles mingi(d) argument(id) on asendatud nende väärtust arvutavate funktsioonidega. 3. Kombinatsioonskeem: digitaalskeem, milles, teades sisendite väärtusi, võime väljundid välja arvutada üheselt, väljundid on määratud üks-üheselt sisendite väärtustega. Järjestikskeem: digitaalskeem, milles väljundi väärtus sõltub eelmistest, eelnevatel diskreetse aja hetkedel I/O-s olnud väärtustest skeemil on mäluolek.