Teil 5
Teil 5
Teil 5
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Beispiel 1:<br />
Frage: Ist die folgende Satzmenge wahrheitsf. konsistent<br />
Testmenge: {(¬J ∧ K) ∧ (I ∨ J), I ∧ K}<br />
Dekompositionsreihenfolge 1:<br />
1. (¬J ∧ K) ∧ (I ∨ J) V EdT<br />
2. I ∧ K V EdT<br />
3. ¬J ∧ K V 1 ∧D<br />
4. I ∨ J V 1 ∧D<br />
5. I 2 ∧D<br />
6. K 2 ∧D<br />
7. ¬J 3 ∧D<br />
8. K 3 ∧D<br />
9. I J 4 ∨D<br />
X<br />
Zuordnung: I: w, J: f, K: w. Testmenge ist wahrheitsf. konsistent.<br />
Dekompositionsreihenfolge 2:<br />
1. (¬J ∧ K) ∧ (I ∨ J) V EdT<br />
2. I ∧ K V EdT<br />
3. ¬J ∧ K V 1 ∧D<br />
4. I ∨ J V 1 ∧D<br />
5. I J 4 ∨D<br />
6. I I 2 ∧D<br />
7. K K 2 ∧D<br />
8. ¬J ¬J 3 ∧D<br />
9. K K 3 ∧D<br />
X<br />
Folgendes ist zu beachten: Wenn ein Satz dekomponiert wird, sind die<br />
Dekompositionsprodukte der Dekomposition in jeden offenen Zweig, der durch den Satz<br />
verläuft, welcher dekomponiert wird, einzutragen.<br />
13