0 Daumen
221 Aufrufe

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)

Avatar von

1 Antwort

0 Daumen

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

Avatar von 86 k 🚀

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community