"xnmn" - 1 õppematerjal

Graafid ja matemaatiline loogika eksamimaterjal

Lausearvutuse põhisamaväärsused eraldi lehel!! 2. NORMAALKUJUD Lausearvutuse valemi F täielikuks disjunktiivseks normaalkujuks (TDNK) nimetatakse valemiga F samaväärset valemit, mis kujutab endast erinevate täielike elementaarkonjuktsioonide disjunktsiooni o Täielik disjunktiivne normaalkuju on tõene parajasti nendel väärtustustel, mis vastavad normaalkuju liikmetele o X111 & ... & Xn1n X121 & ... & Xn2n ... X1m1 & ... & Xnmn on tõene väärtustustel (11, ..., 1n), (21, ..., 2n), ..., (m1, ..., mn) ja väär kõigil ülejäänud väärtustustel o TDNK-le viimine: Koostame valemi põhjal tõeväärtustabeli Vaatame vaid neid ridu, mil valem on tõene Koostame konjuktsioonid ridadele vastavatest elementide tõeväärtustest (nt kui X=t, Y=t ja Z=v, siis saame X&Y&¬Z)