KNF Aussagenlogikformel

26.10.2012, 16:06	Sven1988	Auf diesen Beitrag antworten »
KNF Aussagenlogikformel Meine Frage: Hallo liebe Community, da ich nach einer langen mathe- Nacht nicht mehr weiter weiss, wollte ich mal fragen was ich machen muss, um von meiner Ausgangsformel M die Konjunktive Normalform zu berechnen. Der Algorithmus für die KNF ist mir zwar bekannt und ich konnte bereits auch die Implikation sowie DeMorgan anwenden, aber ich weiss einfach nicht, welches spez. Distributivgesetz man anschließend anweden müsste, habe unten mal meinen Ansatz beigefügt, wäre super wenn ihr mir evtl. etwas weiterhelfen könnt ps. - bedeutet bei mir log. nicht Meine Ideen: $\begin{eqnarray} M=((a \vee b) \wedge c) \wedge ((b \wedge - d) \Rightarrow a) \end{eqnarray}$ = Elim. Impl. $\begin{eqnarray} ((a \vee b) \wedge c) \wedge (- (b \wedge - d) \vee a) \end{eqnarray}$ = DeMorgan $\begin{eqnarray} ((a \vee b) \wedge c) \wedge ((- b \vee - d) \vee a) \end{eqnarray}$ = Distributivgesetz ??? oder müsste man zuerst im linken Termteil also $\begin{eqnarray} ((a \vee b) \wedge c) \end{eqnarray}$ evtl. die Junktoren umdrehen??? und dann darauf das Distributivgesetz anwenden??

1

Verwandte Themen