äquivalente umformung zur knf *neu |
30.03.2014, 12:30 | schmerzgott | Auf diesen Beitrag antworten » |
äquivalente umformung zur knf *neu ich verzweifle hier an einer aufgabe,.... ich forme hin und her und komm nicht weiter, Diese Formel soll in die KNF...: ((¬A UND B UND E) ODER ¬(G UND ¬B) ODER (E UND ¬B)) hier ist mein ansatz ((¬A UND B UND E) ODER (¬G ODER B) ODER (E UND ¬B)) | de morgan ((¬A UND B UND E) ODER (¬G ODER B) ODER E) UND (¬G ODER B) ODER ¬B)) | Distributiv ((¬A UND B UND E) ODER (¬G ODER B ODER E) UND (¬G ODER B ODER ¬B)) | Assoziativ ((¬A UND B UND E) ODER (¬G ODER B ODER E) UND (¬G) | Tautologie soweit denke ich muesste richtig sein .... (denke) ... wie gehts nun weiter? UND und ODER sind sonderzeichen waren aber im ersten thread nicht darstellbar. mfg bin sehr dankbar für jede anregung oder idee mfg |
||
31.03.2014, 00:57 | weisbrot | Auf diesen Beitrag antworten » |
RE: äquivalente umformung zur knf *neu UND und ODER macht man mit \wedge bzw. \vee. ja, bis dahin ist ok. beide summanden sind jetzt in knf. du kannst also zwei "richtungen" gehen, eine wäre z.b.: per distributivgesetz umformen, und dann jeden faktor wieder per distr. auf knf bringen. das resultat ist eine knf. die andere "richtung" wär völlig symmetrisch hierzu. lg |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|