lihtsamaks, võttes arvesse, et kui lammutatav valem on tõene, siis peavad mõlemad lammutuse produktid ka tõesed olema. Kui kõik puus esinevad valemid on lammutatud literaalideni, siis nimetatakse seda puud lõpetatuks. Lõpetatud puus on kerge kontrollida, kas on olemas tõeväärtusjaotus, mille puhul kõik puus esinevad literaalid on tõesed. Selline tõeväärtusjaotus on kergesti leitav: igale tüves leiduvale positiivsele literaalile (lausemuutuja ilma eituseta) vastav muutuja olgu tõene ning negatiivsele literaalile (lausemuutuja koos eitusega) vastav muutuja olgu väär: C = 1; A = 1; B = 0. Seega on uuritav valemite hulk kooskõlaline. 5 Kõik see kehtib niivõrd, kuivõrd me teadaoleva põhjal saame otsustada. Kui lausetähed on interpreteeritud, siis võib osutuda, et väidetesüsteem ikkagi ei ole kooskõlaline. Sel juhul tuleb kasutada teist, interpretatsiooniga paremini kokkusobivat formalismi. 15
lihtsamaks, võttes arvesse, et kui lammutatav valem on tõene, siis peavad mõlemad lammutuse produktid ka tõesed olema. Kui kõik puus esinevad valemid on lammutatud literaalideni, siis nimetatakse seda puud lõpetatuks. Lõpetatud puus on kerge kontrollida, kas on olemas tõeväärtusjaotus, mille puhul kõik puus esinevad literaalid on tõesed. Selline tõeväärtusjaotus on kergesti leitav: igale tüves leiduvale positiivsele literaalile (lausemuutuja ilma eituseta) vastav muutuja olgu tõene ning negatiivsele literaalile (lausemuutuja koos eitusega) vastav muutuja olgu väär: C = 1; A = 1; B = 0. Seega on uuritav valemite hulk kooskõlaline. 5 Kõik see kehtib niivõrd, kuivõrd me teadaoleva põhjal saame otsustada. Kui lausetähed on interpreteeritud, siis võib osutuda, et väidetesüsteem ikkagi ei ole kooskõlaline. Sel juhul tuleb kasutada teist, interpretatsiooniga paremini kokkusobivat formalismi.
annaabi.ee 
