"elementaardisjunkttsioonide" - 1 õppematerjal

DME Eksamiks kordamise konspekt

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. Elementide järjestus ega muud elementide omavahelised vahekorrad olulised ei ole. 3. Elemendi kuulumine hulka: kui element a kuulub hulka A, siis kirjutame a A, vastasel korral a A. 4