Aussagelogik umformen/vereinfachen

Question

Aufgabe: Aussagelogik  ((A∧B) ∨ (¬A∧B))∧((¬C∧D)∨¬(C∨¬D)) zu  B∧¬C∧D umformen

Problem/Ansatz: könnte mir jemand dabei helfen diese Aussage umzuformen ((A∧B) ∨ (¬A∧B))∧((¬C∧D)∨¬(C∨¬D)).

Ich habe versucht damit anzufangen im ersten Teil die klammern aufzulösen, nur komme ich damit nicht wirklich weiter und weiß auch nicht ob das so richtig ist

(A∧B) ∨ (¬A∧B)

=(A∧¬A)∨(A∧B)∨(B∧¬A)∨(A∧B)

Answer 1

Hallo,

((A∧B) ∨ (¬A∧B)) ∧ ((¬C∧D) ∨ ¬(C∨¬D))

((A∧¬A)∨B) ∧ (((¬C∧D) ∨ (¬C∧D))
[ DG^∨                              de Morgan ]         

B ∧ ¬ C ∧ D

[ X∧¬X ≡ false , false ∨ Y = Y und Z ∨ Z ≡ Z sind ja wohl trivial ]

Gruß Wolfgang