Konjunktive Normalform bilden < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 18:01 Sa 28.04.2012 | | Autor: | durden88 |
| Aufgabe | http://wwwcip.cs.fau.de/~ra84nevy/logik/Uebung11.pdf
Seit 9/14 |
Hallo Leute,
bei dieser Übung wurde eine Aufgabe vorgerechnet auf Seite 9. Es geht sich um die Aufgabe a) Und zwar verstehe ich bei der Lösung den Schritt zwischen 6 und 7 nicht. Auf einmal lassen die da zwei komplette Formeln weg?! Bei Schritt 6 habe ich doch schon eine konjunktive Normalform oder? Ich muss da nur die Klammern was weglassen.
Liebe Grüße
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 09:14 So 29.04.2012 | | Autor: | tobit09 |
Hallo durden,
> bei dieser Übung wurde eine Aufgabe vorgerechnet auf Seite
> 9. Es geht sich um die Aufgabe a) Und zwar verstehe ich bei
> der Lösung den Schritt zwischen 6 und 7 nicht. Auf einmal
> lassen die da zwei komplette Formeln weg?!
Es geht offensichtlich um die Formeln [mm] $(\neg a\vee b\vee [/mm] a [mm] \vee [/mm] c)$ und [mm] $(\neg a\vee b\vee a\vee \neg [/mm] d)$ innerhalb der Konjunktion. In diesen beiden Disjunktionen tauchen jeweils sowohl $a$ als auch [mm] $\neg [/mm] a$ auf. Damit erhalten beide Disjunktionen bei JEDER Belegung der Variablen den Wahrheitswert "wahr". Daher können sie innerhalb einer Konjunktion weggelassen werden.
Bitte frag nocheinmal nach, falls ich dies (welche Teile?) genauer ausführen soll.
> Bei Schritt 6
> habe ich doch schon eine konjunktive Normalform oder? Ich
> muss da nur die Klammern was weglassen.
Ja. Danach findet nur eine Vereinfachung der konjunktiven Normalform statt.
Viele Grüße
Tobias
|
|
|
|
