Frage: Aussagenlogik: Aussage in disjunktiver Normalform darstellen?
Code:
Hallo zusammen,
ich muss 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.
Die Aussage habe ich nun wie folgt erfasst (In der Normalform und nicht disjunktive Normalform):
¬(A→B)⊕¬(B∧C)
Stimmt dies?
