 |
 |
 |
 |
 |
 |
Startseite » Forum » Formel in KNF umwandeln (schrittweise)
Formel in KNF umwandeln (schrittweise)
Universität / Fachhochschule
Sonstiges
Tags: Aussagenlogik, KNF
 
|
  |
|---|
|
Kann mir bitte jemand helfen beim umformen dieser Formel → B)∧(B → C)∧(C → in eine konjunktive Normalform (KNF) eine Erklärung wäre auch sehr nett, vielen Dank 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 |
|
 |
|
Hallo, "KNF" ist ja eine Abkürzung für KONJUNKTIVE Normalform, d.h. die äußerste (logische) Verknüpfung soll jeweils ein UND ("") sein. Insofern hast du Glück, als dass dies bei dir schon gegeben ist. Das einzige was noch nicht zur KNF passt, ist die Verknüpfung "". Die ist nicht erlaubt. Einzig erlaubt sind noch NICHT ("") und ODER (""). Deine Aufgabe besteht also nur noch darin, umzuwandeln in einen Audruck mit ODER, NICHT und UND, wobei nicht alle vorkommen müssen. Sollte UND vorkommen, dann als äußerstes, d.h. so etwas wie führt NCIHT zur KNF. Versuch doch mal, ob du das nicht vielleicht doch allein schaffst! Mfg Michael |
 |
|
Hallo danke für die Antwort, ich bin zur folgender Lösung gekommen: (¬A∨B)∧(¬B∨C)∧(¬C∨A) |
|
|
|
Hallo, gut gemacht. Mfg Michael |
|
Diese Frage wurde automatisch geschlossen, da der Fragesteller kein Interesse mehr an der Frage gezeigt hat.
|
1396216
1396095