"yvz" - 1 õppematerjal

Graafid ja matemaatiline loogika eksamimaterjal

.. V Xn2n) & ...& (X1m1 V ... V X nmn) on väär väärtustustel (¬11, ..., ¬1n), (¬21, ..., ¬2n), ..., (¬m1, ..., ¬mn) ja tõene kõigil ülejäänud väärtustustel.TKNK-le viimine: Koostame valemi põhjal tõeväärtustabeli Vaatame vaid neid ridu, mil valem on väär Koostame disjunktsioonid ridadele vastavatest elementide vastandtõeväärtustest (nt kui X=t, Y=t ja Z=v, siis saame ¬Xv¬YvZ) Ühendame saadud disjunktsioonid ühiseks konjuktsiooniks (tuleb silmas pidada seda, et konjuktsioon on prioriteetsem tehe, seega peab kasutama sulge) o TKNK-le viimise algoritm: Elimineerida implikatsioonid ja ekvivalentsid Viia eitused vahetult lausemuutujate ette (st konjunktsioonide ja disjunktsioonide sisse) ,,Liita" konjunktsioonid läbi (teise distributiivsuse seaduse