Milleks kasutatakse loogikatehete asendusseoseid? Millistel tehetel on nad olemas? Et asendada mitteelementaarseid loogikatehteid elementaarsete loogikatehete kaudu. Nad on olemas tehetel implikatsioon,ekvivalents ja moodul summast 2-ga. Mis on n-muutuja loogikafunktsioon? N-muutuja loogikafunktsioon f(x1,x2......,xn) on vastavus n-muutuja Boole Ruumist {0,1}n loogikaväärtuste hulka {0,1} Mis on argumentvektor ja mida ta esitab? Argumentvektor on loogikamuutujate väärtuskomplekt, mis esitab funktsiooni igale üksikule muutujale omistatud väärtust 1 või 0. Mida näitab loogikafunktsiooni tõeväärtustabel? Näitab, millise väärtuse omandab funktsioon mingite muutujate väärtustekomplekti korral. Mis on funktsioonide 1-de piirkond? Mis on 0-de piirkond? Kuidas neid tähistatakse? Funktsioonide 1-de piirkonna moodustavad need argumentvektorid, mille korral funktsioon omandab väärtuse 1, 0-de piirkonna puhul omandab 0-i
kõigil vektoritel kogu intervalli ulatuses konstantne Tüvenumbrid: numbrid kõrgeimast mittenullilisest numbrist madalaima mittenullilise numbrini Loogikaalgebra Loogikaalgebra: Boole'i algebra lihtsaim erijuht, kus alushulgaks on {0;1} Loogikamuutuja: muutuja, mis saab omandada ainult väärtusi 0 või 1 Loogikafunktsioonid Algterm: avaldise koosseisu kuuluv loogikamuutuja, selle inversioon või konstant 1 või konstant 0 Argumentvektor: loogikamuutujate komplekt, mis esitab funktsiooni igale üksikule muutujale omistatavat väärtust 1 või 0. Muutujate väärtustamisel omandab ka loogikafunktsioon väärtuse Elementaardisjunktsioon: üksik algterm või algtermide disjunktsioon Elementaarkonjunktsioon: üksik algterm või algtermide konjunktsioon Loogikavalemi keerukus: loogikavalemi koosseisus olevate algtermide arv Loogikavalemi sügavus: kõige pikem tehete ahel, mis tuleb läbida, et saada
Aatomid, elemendid mis katavad vähimat elementi. Loogikaalgebra: Loogikaalgebra on boolei algebra lihtsaim juht, kus alushulgaks on {0 1}. Loogikamuutuja saab omada kas väärstust 0 või 1. Loogikaavaldis koosneb loogikamuutujast, konstanditest ja tehetemärkidest. N-muutuja loogikafunktsioon on vastavus nmuutuja boolei ruumist {01}^n loogikaväärstuste hulka {01}. Agrumentvektor on loogikamuutujate komplekt, mis esitab funktsiooni 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(?).
Intervallid on ortogonaalsed, kui nad ei oma ühisosa (mittelõikuvad 2ndvektorite hulgad). Implikant on loogika-ni 1-de piirkonna intervall. Lihtimplikant on maksimaalne implikant, mis ei sisaldu tervikuna üheksi teises selle F-ni implikandis. Taandatud DNK on F-ni kõigi lihtimplikantide disjunktsioon. Igal F-nil on vaid 1 TaDNK. MDNK koosneb alati osadest/kõikidest TaDNK elementaarkonjunktsioonidest. MCCLUSKEY’ MEETOD McCluskey’ meetod on rakendatav suvalise loogikamuutujate arvu korral. Sellel on 2 põhietappi: loogikafunktsiooni kõigi lihtimplikantide leidmine ; minimaalse katte leidmine (lihtimplikantide hulga minimeerimine). McCluskey’ meetodis on arvu indeks 1-de arv selle arvu kahendkujus. 2 modifikatsiooni: intervallmeetod ja numbriline meetod McCluskey ja Karnaugh sarnasused: 1) Lähiskoodid sattuvad indeksite järgi grupeerides naabersektsioonidesse, seega McCluskey meetod kleebib kokku
Intervallid on ortogonaalsed, kui nad ei oma ühisosa (mittelõikuvad 2ndvektorite hulgad). Implikant on loogika-ni 1-de piirkonna intervall. Lihtimplikant on maksimaalne implikant, mis ei sisaldu tervikuna üheksi teises selle F-ni implikandis. Taandatud DNK on F-ni kõigi lihtimplikantide disjunktsioon. Igal F-nil on vaid 1 TaDNK. MDNK koosneb alati osadest/kõikidest TaDNK elementaarkonjunktsioonidest. MCCLUSKEY’ MEETOD McCluskey’ meetod on rakendatav suvalise loogikamuutujate arvu korral. Sellel on 2 põhietappi: loogikafunktsiooni kõigi lihtimplikantide leidmine ; minimaalse katte leidmine (lihtimplikantide hulga minimeerimine). McCluskey’ meetodis on arvu indeks 1-de arv selle arvu kahendkujus. 2 modifikatsiooni: intervallmeetod ja numbriline meetod McCluskey ja Karnaugh sarnasused: 1) Lähiskoodid sattuvad indeksite järgi grupeerides naabersektsioonidesse, seega McCluskey meetod kleebib kokku samu koode, mis Karnaugh kontuurid
tõeväärtustabel , mis on vastavusdiagrammi 2-muutuja funktsioonile reorganiseeritud erikuju ja sisaldab seega Funktsiooni muutujate (ehk argumentide) arvu suurenemisel ühevõrra funktsiooni argumentvektorite arv kahekordistub. Argumentvektor x1 x2 . . . xn ∈ { 0, 1 } on loogikamuutujate n Funktsioon võib omandada määramatuspiirkonda kuuluvate "väärtustekomplekt", mis esitab funktsiooni igale üksikule muutujale x1 , argumentvektorite x1 x2 . . . xn ∈ V — korral ükskõik kumba x2 , . . . xn omistatavat väärtust 0 või 1. Muutujate väärtustamisel loogikaväärtuse 0 või 1 . Selle tähistamiseks kirjutatakse osaliselt
annaabi.ee 
