Hi,
bei folgender Aufgabe, bin ich mir nicht ganz klar, wie die dazugehörige Rechenregel aussieht.
Die Aufgabe lautet: "Vereinfachen Sie die Mengenverknüpfungen."
(Ich habs jetzt in Aussagenschreibweise geschrieben, aber die Rechenregeln sind ja dieselben.)
(B ∧ -(A v -C) v (A ∧ B) v (-A ∧ B ∧ C) =
(B ∧ -A ∧ C) v (A ∧ B) v (-A ∧ B ∧ C) =
(B ∧ -A ∧ C) v (B ∧ A) =
B ∧ [(-A ∧ C) v A] =
B ∧ [(A v -A) ∧ (A v C)] =
B ∧ (A v C)
An der gefetteten Stelle kann nicht ganz nachvollziehen, welche Rechenregel dazu geführt hat, dass die eine Klammer wegfallen ist. Das neutrale Element vielleicht?
Gruß
