Dnf-->Knf < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 19:24 Do 20.05.2010 | | Autor: | bwf |
| Aufgabe | aB+c+ACd+bCd
//A= a nicht etc , Großbuchstaben=nicht
//+oder *und |
Ziel: DNF zu KNF mit negation
Ausgangsfunktion:aB+c+ACd+bCd
Zweimal negieren: ergibt n((A+b)C(a+c+D)(B+c+D))
//n= das ganze nochmal negiert
Wie kommt man von dort auf (a+c+d)(B+c+d) was ich mit KV, FUnktionstabelle, Distributiv+Kensusregel oder mit langwrigen ausmultiplieziern bekomme?
Vielen Dank für durchlesen.
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
Hallo,
erstmal: das ist ja eine grauenhafte Formatierung!
> aB+c+ACd+bCd
> //A= a nicht etc , Großbuchstaben=nicht
> //+oder *und
> Ziel: DNF zu KNF mit negation
> Ausgangsfunktion:aB+c+ACd+bCd
> Zweimal negieren: ergibt n((A+b)C(a+c+D)(B+c+D))
> //n= das ganze nochmal negiert
> Wie kommt man von dort auf (a+c+d)(B+c+d) was ich mit KV,
> FUnktionstabelle, Distributiv+Kensusregel oder mit
> langwrigen ausmultiplieziern bekomme?
> Vielen Dank für durchlesen.
>
> Ich habe diese Frage in keinem Forum auf anderen
> Internetseiten gestellt.
wir haben also [mm] a\overline{b}\hspace{2mm} \vee [/mm] c [mm] \vee \hspace{2mm} \overline{a}\overline{c}d \vee b\overline{c}d
[/mm]
Zur Frage: zweimal negieren! Die erste Negierung auflösen (DeMorgansche Theoreme), ausmuliplizieren und Absorptionsgesetz anwenden....dann die zweite Negierung soweit auflösen, bis eine KNF dasteht! Schneller geht das eben nicht....
Gruß Christian
|
|
|
|
