Ich habe: (¬ (A v B) ∧C) ∨ ¬ (¬A v B)
Ich wende de Morgan an und bekomme: ((¬A ∧ ¬B) ∧C) ∨ (A ∧ ¬B)
Frage: Kann ich in der linken Formel die inneren Klammern weglassen, so dass ich habe: (¬A ∧ ¬B ∧C) ∨ (A ∧ ¬B)
Und wenn ja, warum?
> ((¬A ∧ ¬B) ∧ C) ∨ (A ∧ ¬B) ⇔ (¬A ∧ ¬B ∧ C) ∨ (A ∧ ¬B) ?
Ja, (¬A ∧ ¬B) ∧ C) = ¬A ∧ ¬B ∧ C nach dem (allgemeinen) Assoziativgesetz von ∧
Gruß Wolfgang
ja
(¬A v A) ∧ (¬B v A) ∧ (C v A) ∧ (¬A v B) ∧ (¬B v ¬B) ∧ (C v ¬B)
kann man vereinfachen zu:
(¬B v A) ∧ (C v A) ∧ (¬A v B) ∧ (C v ¬B)
> (¬A v A) ∧ (¬B v A) ∧ (C v A) ∧ (¬A v B) ∧ (¬B v ¬B) ∧ (C v ¬B)
Stimmt, habe mich versehen:
(¬B v A) ∧ (C v A) ∧ (¬A v B) ∧ ¬B ∧ (C v ¬B) ist richtig
Ein anderes Problem?
Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos