Konjunktive Normalform < Algor.+Datenstr. < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Aufgabe | a) R v [mm] \neg(S [/mm] -> [mm] \neg [/mm] Q [mm] \wedge [/mm] P)
b) [mm] \neg(S [/mm] v (P <-> R) [mm] \wedge \neg [/mm] Q)
c) S v [mm] \neg [/mm] Q -> (R <-> [mm] \neg [/mm] P) v Q |
Hallo,
ich bereite mich seit tagen auf die Informatik-Nachklausur vor und bin bei dem aufgabentyp schier am verzweifeln.
Wäre toll wenn ihr mir schritt für schritt erklären könntest warum man zu jeweiligem Ergebnis kommt.
Kann auch sein das ich durch die musterlösung einfach verwirrt bin. ich kann manchmal absolut nicht nachvollziehen warum etwas jetzt SO ausgeklammert ist bzw. warum bestimmte dinge jetzt in die Klammer 'gezogen' werden und andere nicht.
Es is immer toll wenn dann mit dingen wie "assoziativgesetz" ect.pp. um sich geschmissen wird aber irgendwie kann ich mir dann trotzdem daraus nichts herleiten.
Wäre toll wenn ihr mir da helfen könntet.
Grüße,
Obi
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 16:20 Mi 02.05.2012 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
