Aufgabe: Aussagenlogik: Aussage in Normalform und anschließend in disjunktive Normalform umwandeln.
Problem/Ansatz:
Hallo zusammen,
Man soll folgende Aussage in disjunktiver Normalform darstellen:
„Entweder stimmt es nicht, dass A eine hinreichende Bedingung für B ist oder B und C sind beide falsch.“
Mein Ansatz ist nun:
¬ (A → B) ⊕ ¬ (B ∧ C)
Stimmt dieser Ansatz für diese Aussage, damit ich anhand dessen die disjunktive Normalform erstellen kann?