#1 9. Mai 2011 Hi, ich hab da mal ne frage: und zwar gibt es Formeln die sowohl in disjunktiver als auch in konjunktiver Normalform gleich sind ? oder gibt es vllt. eine Formelmenge bei der das so ist ? so far sun
#2 9. Mai 2011 AW: Aussagenlogik DNF / KNF Nein kann es garnicht geben, da die DNF die Einsen beschreibt, die KNF aber die Nullen. Wenn also beide gleich währen würde sich das widersprechen.
#3 10. Mai 2011 AW: Aussagenlogik DNF / KNF soweit hab ich mir das auch gedacht doch dann versteh ich die aufgabe nicht so wirklich: Welche Formeln sind sowohl in disjunktiver als auch in konjunktiver Normalform? Geben Sie eine möglichst genaue Spezifikation dieser Formelmenge an. so far sun
#5 15. Mai 2011 AW: Aussagenlogik DNF / KNF Man könnte sagen, dass eine Formel der Form: a OR b beides ist. Entweder man nimmt jeweils a und b als konjunktive Terme, die dann jeweils nur aus einem Element bestehen (--> DNF) oder man nimmt den gesamten Term als disjunktiven Term und die Formel besteht dann eben nur aus diesem einen Term (--> ANF). Als so richtig berauschend empfinde ich die Lösung aber selber nicht...