Hilfe bei Aussagenlogik - Verknüpfung und Vereinfachung?
Moin,
wenn ich so ein Beispiel habe wie
(A ∧ ¬B) v (¬C v B)
Kann ich hier das Distributivgesetz anwenden? Wäre ja eig. für die allgemeine Formel A v (B ∧ C) Oder kann man hier nicht mehr weiter vereinfachen?
Und wenn das Distributivgesetz genutzt werden kann, wie sieht das aus, da wir in beiden Klammern zwei Variablen haben. Könnte man danach immer noch vereinfachen oder wäre schon Schluss?
1 Antwort
Bist du sicher, dass es innerhalb der zweiten Klammer ein "oder" und kein "und" wie in der ersten Klammer sein soll?
Grundsätzlich kannst du meines Wissens nach das Distributivgesetz bei zwei Klammern genauso anwenden wie mit nur einer Variablen. Außer dass du in der umgeformten Formel dann eben die Klammer statt der einzelnen Variable stehen hast, die du dann eventuell nochmal weiter auflösen kannst.
