KNF und DNF < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 14:20 So 31.01.2010 | | Autor: | leuchte |
| Aufgabe | A impliziert B
nicht A oder B ist die DNF |
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
Hallo ihr Lieben,
ich habe mich an dieser Aufgabe jetzt schon mehrere Stunden zu schaffen gemacht und ich kapier das einfach nicht. Vielleicht könnt ihr mir bitte helfen, da ich nicht weiß, wie ich jetzt die KNF herausbekomme?
Noch eine Frage, nämlich weiß jemand wo man im Internet noch Übungsaufgaben zur DNF und KNF erhält?
Vielen Dank schon mal im Voraus für eure Hilfe.
Liebe Grüße
|
|
| |
|
> A impliziert B
> nicht A oder B ist die DNF
Wenn du die DNF schon gegeben hast dann musst du sie für eine KNF einfach doppelt negieren also:
DNF: [mm] \overline{A}\vee [/mm] B
KNF: [mm] \overline{\overline{\overline{A}\vee B}}= \overline{A\wedge \overline{B}}
[/mm]
oder du machst dir eine Wertetabelle ![[]](/images/popup.gif) http://de.wikipedia.org/wiki/Implikation#Wahrheitsfunktionale_Implikation
Und liest die Terme mit der Null/falsch aus schreibst sie hintereinander und verknüpfst die MAXTerme mit einem und.
|
|
|
|
