This post has been edited 5 times, last edit by "FSW16" (Aug 31st 2010, 2:24pm)
Also die Ableitungsschritte sind ja so:nur musst du p2 oder p4 und (nicht) p2 oder (nicht) p4 in KNF umformen und dann kommst du auf das Ergebnis in der Lösung.
This post has been edited 1 times, last edit by "FSW16" (Aug 31st 2010, 2:32pm)
Von 3. auf 4. scheint mir aber nicht äquivalent...3.((nicht p2) ODER (nicht p4)) UND (p4 ODER p2)) = KNF-Form
4.((nicht) p2 UND p4) ODER ((nicht) p4 UND p2) = DNF-Form, das steht auch in der Lösung bei Phi
This post has been edited 2 times, last edit by "fragenfrager" (Aug 31st 2010, 3:20pm)
Es gibt auch noch andere Methoden KNF in DNF umzuwandeln aber einmal negiern darfst aufjedenfall nicht, da du eben sonst nicht mehr eine äquivalente Formel zur Ursprünglichen Formel hast.
MFG
This post has been edited 1 times, last edit by "Ryoga`" (Sep 1st 2010, 6:43pm)
Wie sieht es mit dem Sequenzenkalkül aus? Ist das Klausurrelevant? Also muss ich damit was ableiten können oder kommt sowas definitiv nicht dran?