Millised on loogikafunktsioonide esitusviisid? Tõeväärtustabeli kujul või numbrilises kümnendesituses. Kuidas koostatakse loogikafunktsioonile numbriline 10ndesitus? Vastav 2ndvektor on asnedatud vastava 10nendarvuga. Mida esitab iga 10ndarv numbrilise 10ndesituse koosseisus? Vastavat argumentvektorit? (For real, kuidas see erineb eelmisest loogika poolest?...) Mis on algterm? Algterm on avaldise koosseisu kuuluva loogikamuutuja või selle inversioon või konstant 0 1 Mis on elementaarkonjuktsioon? Mis on elementaardisjunktsioon? Elementaarkonjuktsioon on ükskik algterm või algtermide konjuktsioon. Nt x1x2x3,x1. Elementaardisjunktsioon on üksik algterm või algtermide disjunktsioon nt x1 v x2 v x3,x1 Mis on DNK? Mis on KNK? DNK on üksik elementaarkonjuktsioon või elementaarkonjuktsioonide disjunktsioon KNK on üksik elementaardisjunktsioon või elementaardisjunktsioonide konjuktsioon. Mis on TDNK? Mis on TKNK?
Teoreem. Valemitest F1, F2, ..., Fn järeldub valem G parajasti siis, kui valem F1& F&, ...& FnG on samaselt tõene. Teoreem. Valemid F ja G on samaväärsed parajasti siis, kui valemist F järeldub valem G ja valemist G järeldub valem F. Teoreem. Valemid F ja G on samaväärsed parajasti siis, kui valem FG on samaselt tõene. Literaal on lausemuutuja või tema eitus. Positiivne literaal on puhas lausemuutuja. Negatiivne literaal on eitusega lausemuutuja. Täielik elementaarkonjuktsioon on literaalidest L1,L2,...,Ln koostatud valem L1&L2&...&Ln. Täielik disjunktiivne normaalkuju Lausearvutuse valemi F täielikuks disjunktiivseks normaalkujuks nimetatakse valemiga F samaväärset valemit, mis kujutab endast erinevate täielike elementaarkonjuktsioonide disjunktsiooni. Täielik elementaardisjunktsioon on literaalidest L1,L2,...,Ln koostatud valem L1vL2v...vLn. Täielik konjuktiivne normaalkuju - Lausearvutuse valemi F täielikuks konjuktiivseks