0 Daumen
177 Aufrufe

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?

Avatar von

1 Antwort

0 Daumen

Ich hätte nur Aussage B negiert


$$A\Longrightarrow \lnot B \oplus\lnot (B \land C) $$


Was aber genau jetzt richitg ist kann ich dir leider nicht sagen

Avatar von

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community