äquivalente umformung zur knf

Neue Frage »

schmerzgott Auf diesen Beitrag antworten »
äquivalente umformung zur knf
hallo@all,

ich verzweifle hier an einer aufgabe,.... ich forme hin und her und komm nicht weiter,

Diese Formel soll in die KNF...:

((¬A ∧ B ∧ E) ∨ ¬(G ∧ ¬B) ∨ (E ∧ ¬B))

hier ist mein ansatz

≡ ((¬A ∧ B ∧ E) ∨ (¬G ∨ B) ∨ (E ∧ ¬B)) | de morgan
≡ ((¬A ∧ B ∧ E) ∨ (¬G ∨ B) ∨ E) ∧ (¬G ∨ B) ∨ ¬B)) | Distributiv
≡ ((¬A ∧ B ∧ E) ∨ (¬G ∨ B ∨ E) ∧ (¬G ∨ B ∨ ¬B)) | Assoziativ
≡ ((¬A ∧ B ∧ E) ∨ (¬G ∨ B ∨ E) ∧ (¬G) | Tautologie

soweit denke ich muesste richtig sein .... (denke) ...
wie gehts nun weiter?

bin sehr dankbar für jede anregung oder idee

mfg
Iorek Auf diesen Beitrag antworten »

Das ist in dieser Form unlesbar, bitte schreibe das noch einmal ordentlich in einem neuen Thread. Hier wird geschlossen.
Neue Frage »
Antworten »



Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »