zu KNF und DNF Umformen < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 23:11 Mi 20.11.2013 | | Autor: | Kilo |
| Aufgabe | | [mm] A\gdw(\neg(B\Rightarrow C)\wedge B)\gdw(D\vee\neg [/mm] A) |
Also: Ich soll diese Aussagenform jeweils in eine KNF und eine DNF umformen.
Ich sitze nun schon seit 3 Stunden daran und kapiere nicht wie man mittels Äqvivalenzumformung zum Ergebnis kommt!
1.verliere ich nach ein paar Zeilen den Überblick und
2.verstehe ich nicht wie man bsp. aus einer KNF eine DNF macht...
WAS die beiden Formen sind weiss ich. Ich kenne auch die jeweiligen Äquivalenzen, aber komme trotzdem irgendwann raus!
Oder formt man solch meiner Meinung nach komplexen Aufgaben nicht mittels Äquiv.?
Kann mir hier vielleicht jemand wenigstens einen Tipp geben?
Das wäre sehr sehr nett =)
Hier mal mein Ansatz:
1. [mm] A\gdw(\neg(\neg B\vee C)\wedge B)\gdw (D\vee \neg [/mm] A)
2. [mm] A\gdw((B\wedge\neg C)\wedge B)\gdw(D\vee\neg [/mm] A)
3. [mm] A\gdw((B\wedge B\)\wedge(\neg C\wedge B)\gdw(D\vee\neg [/mm] A)
Wenn ich das nun fortführe wird die Form sehr unübersichtlich!
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 23:42 Mi 20.11.2013 | | Autor: | Ebri |
> Hier mal mein Ansatz:
>
> 1. [mm]A\gdw(\neg(\neg B\vee C)\wedge B)\gdw (D\vee \neg[/mm] A)
> 2. [mm]A\gdw((B\wedge\neg C)\wedge B)\gdw(D\vee\neg[/mm] A)
Soweit richtig. Schritt 3. kann ich nicht ganz nachvollziehen und es fehlt eine Klammer.
3. [mm]A\gdw(B\wedge(B\wedge\neg C))\gdw(D\vee\neg[/mm] A)
4. [mm]A\gdw((B \wedge B )\wedge\neg C)\gdw(D\vee\neg[/mm] A)
5. [mm]A\gdw(B \wedge\neg C)\gdw(D\vee\neg[/mm] A)
...
Versuche immer so viel wie möglich zusammenzufassen und zu vereinfachen.
Ich glaube es führt kein Weg daran vorbei, das Ganze runterzubrechen.
Ebri
|
|
|
|
