0 Daumen
3,3k Aufrufe

Aufgabe:

NNF erstellen
\( \begin{array}{lll} (A \wedge B) \leftrightarrow \neg C & & \\ \approx((A \wedge B) \rightarrow \neg C) \wedge(\neg C \rightarrow(A \wedge B)) & \mid \text { Ersetzen von } \leftrightarrow \\ \approx(\neg(A \wedge B) \vee \neg C) \wedge(\neg \neg C \vee(A \wedge B)) & \mid \text { Ersetzen von } \rightarrow \\ \approx((\neg A \vee \neg B) \vee \neg C) \wedge(\neg \neg C \vee(A \wedge B)) & \mid \text { de Morgan } \\ \approx((\neg A \vee \neg B) \vee \neg C) \wedge(C \vee(A \wedge B)) & \mid \text { Negationsregel } \end{array} \)

KNF erstellen
\( \begin{array}{l} ((\neg A \vee \neg B) \vee \neg C) \wedge(C \vee(A \wedge B)) \\ \approx((\neg A \vee \neg B) \vee \neg C) \wedge((C \vee A) \wedge(C \vee B)) \mid \text { Distributivgesetz } \\ \approx(\neg A \vee \neg B \vee \neg C) \wedge((C \vee A) \wedge(C \vee B)) \quad \mid \text { Klammern } \\ \end{array} \)

Avatar von

1 Antwort

0 Daumen

Antwort mit KI erzeugt

NNF erstellen

Um eine Negationsnormalform (NNF) zu erstellen, wird jede logische Äquivalenz in eine Form gebracht, bei der Negationen nur unmittelbar bei den Variablen stehen und nur \(\wedge\) und \(\vee\) als Verknüpfungen verwendet werden. Die gegebene Formel wurde bereits durch Ersetzen von \(\leftrightarrow\) und \(\rightarrow\) umgeformt und durch Anwenden der de Morganschen Regeln und der Negationsregel in eine passende Zwischenform gebracht:

\( ((\neg A \vee \neg B) \vee \neg C) \wedge(C \vee(A \wedge B)) \)

Diese Formel ist bereits in NNF, da alle Negationen unmittelbar bei den Variablen stehen und nur \(\wedge\) und \(\vee\) als Verknüpfungen auftreten.

---

KNF erstellen

Für die Konjunktive Normalform (KNF) bauen wir auf der transformierten Formel auf, die bereits in der Aufgabe vorgegeben wurde:

\( ((\neg A \vee \neg B) \vee \neg C) \wedge(C \vee(A \wedge B)) \)

Um die finale KNF zu erreichen, wurde bereits das Distributivgesetz angewendet, um \((C \vee A) \wedge(C \vee B)\) zu erhalten. Das führt uns zu der bereits umgeformten Formel:

\( (\neg A \vee \neg B \vee \neg C) \wedge((C \vee A) \wedge(C \vee B)) \)

Diese Formel ist bereits in KNF, da es sich um eine Konjunktion von Disjunktionen handelt und die Negationen ausschließlich direkt an den Variablen stehen. Eine weitere Umformung ist hier nicht notwendig, da die Formel bereits die Kriterien einer KNF erfüllt:

- Jede Klammer ist eine Disjunktion (\(\vee\)) von Literalen.
- Die gesamte Formel ist eine Konjunktion (\(\wedge\)) dieser Klammern.
Avatar von

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Stacklounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community