Aufgabe:
f(A, B, C, D) = A ∨ (A ⇒ C) ∧ (A ⇔ C) ∧ C ∧ D ∨ C ∨ D ∨ ((C) ⊕ (D)) ∨ (¬(((D) ⊕ ((D ⇔ B))) ∧ ¬A ∨ ¬C) ⊕ (¬B))
1. entfernen Sie zunächst überflüssige Klammern und schreiben die Formel erneut, ohne diese Klammern, auf
2. identifizieren Sie Teilterme und schreiben Sie diese auf
3. machen Sie in der Wahrheitstafel für jeden Teilterm eine Spalte
Problem/Ansatz:
Ich habe Schwierigkeiten mit den Klammern.
Bisher habe ich:
A ∨ (A ⇒ C) ∧ (A ⇔ C) ∧ C ∧ D ∨ C ∨ D ∨ (C ⊕ D) ∨ (¬(D ⊕ (D ⇔ B) ∧ ¬A ∨ ¬C) ⊕ ¬B)
Hoffe es kann mir jemand behilflich sein.