"l1vl2v" - 1 õppematerjal

DME Eksamiks kordamise konspekt

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 normaalkujuks nimetatakse valemiga F samaväärset valemit, mis kujutab endast erinevate täielike elementaardisjunkttsioonide konjuktsiooni. Hulgateooria alusmõisted: 1. Hulk on üksteisest erinevate objektide ehk hulga elementide kogum, mida vaadeldakse ühe tervikuna 2. Hulkade võrdsus: kahte hulka loeme võrdseks, kui nad koosnevad samadest elementidest