|
Hallo, folgende Aufgabe soll in die Disjunktive Normalform gebracht werden: (A→B)→ (A→C)
soweit bin ich gekommen: (A→B)→ (A→C) ¬(¬A ∨ ∨ ¬A ∨ ∧ ¬B) ∨ ¬A ∨
Danach weiß ich nicht mehr wie es weiter geht, bzw. verstehe es nicht. In Online Rechnern steht weiterführend oft folgendes:
(VERUM ∧ ¬B) ∨ ¬A ∨ DNF: ¬B ∨ ¬A ∨
wobei ich aber nicht "VERUM" verstehe. Es steht ja für Tautologie, als aber warum ist A ∧ ¬B = wahr, also 1? Ich kenne kein Gesetz der Aussagenlogik was das besagt.
Vielleicht kann es mir ja jemand erklären. Vielen Dank für die Hilfe!
Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert): "Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen." |
|
|
Gehen wir von deinem letzten Term weiter:
Wende in der eckigen Klammer das Distributivgesetzt an. . ist immer wahr, in deiner Notation VERUM.
VERUM
( Erklärung
|
|
Hallo, dein "" ist schon eine disjunktive Normalform. Gruß ermanus
|
Diese Frage wurde automatisch geschlossen, da der Fragesteller kein Interesse mehr an der Frage gezeigt hat.
|