Matematické Fórum

daveedek · 28. 12. 2012 22:19

Dobrý den,
prosím Vás o pomoc, nevím si rady s příkladem:
$\{e\vee a , a\Rightarrow (s\wedge \neg r),t\Rightarrow r,s\Rightarrow t\}\models e$
Mám ho řešit rezoluční metodou... výrazy si převedu do CNF vznikne mi:
$\{e\vee a ,(\neg a \vee s)\wedge (\neg r\vee s), \neg t \vee r,\neg s\vee t, \neg e\}$

Nyní bych si měl sepsat všechno do rezolučního stromu a všechno by se mi mělo vykrátit, pokud výrok platí... Ale zbyde mi samotné " s "

Ve výsledích zde:
http://math.feld.cvut.cz/demlova/teachi … rezolu.pdf

je, že je to platné... Kde prosím dělám chybu?

daveedek · 29. 12. 2012 19:41

Tak jsem zjistil, že bude chyba v převodu členu:
$a\Rightarrow (s\wedge \neg r)$ do CNF... když si udělám převod přes Karnaughovu mapu vyjde mi:
$\neg a \wedge ( s \wedge \neg r)$ - címž mi příklad vyjde - vše se vykrátí...
Problém je, že tento výraz nevyjde stejně jako ten původní když si vypíšu pravdivostní tabulku...
Při kontrole ve wolframu alpha dostanu CNF formu takovou:
$(\neg a\vee \neg r) \wedge ( \neg a\vee s)$

Kde prosím dělám chybu?

Matematické Fórum

#1 28. 12. 2012 22:19

Rezoluční metoda

#2 29. 12. 2012 19:41

Re: Rezoluční metoda

Zápatí