 |
 |
 |
 |
 |
 |
Startseite » Forum » Aussagenlogische Formel in KNF umwandeln
Aussagenlogische Formel in KNF umwandeln
Universität / Fachhochschule
Sonstiges
Tags: Aussagenlogik, Boolesche Algebra, informatik, KNF, Normalform
 
|
  |
|---|
|
Liebe Mitmenschen, zurzeit versuche ich eine aussagenlogische Formel in die konjunktive Normalform umzuformen. Dabei traf ich allerdings auf unerwartete Schwierigkeiten. Siehe Bild. MfG  Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert): "Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen." |
| Hierzu passend bei OnlineMathe: Mitternachtsformel |
|
 |
|
Die äquivalente KNF ist nach meiner Rechnung besonders einfach (mit dem Minuszeichen für "non"). Sie stimmt in diesem Fall mit der disjunktiven Normalform DNF überein. Ja nachdem wie man die Lösung als Normalform auffasst: Als KNF ist sie eingliedrig, während sie als DNF dreigliedrig ist: –B . siehe unten im Bild! Du kannst es natürlich auch "syntaktisch" und nicnt, wie ich es unten tat, "semantisch" bearbeiten: –B ) –(B –B) –(-B –B) –(-B –B – –B denn –C)) (da unanbhängig von immer Wahr, also ist.) –C)), –B Hast du noch Fragen? oculus  |
|
Diese Frage wurde automatisch geschlossen, da der Fragesteller kein Interesse mehr an der Frage gezeigt hat.
|
1283572
1283456