Distributivität Aussagenlogik Klammersetzung

Question

Hey ich habe mal eine Frage zu einer Vereinfachung eines Formelpaares:

Ich bin an diesem Schritt: $$((\neg A \mathord{\vee} \neg B) \mathord{\wedge} (\neg A \mathord{\vee} \neg C)) \mathord{\vee} \neg C \mathord{\vee} \neg A$$ Distributivität von der linken Teilformel

$$\neg A \mathord{\vee} (\neg B \mathord{\wedge} \neg C) \mathord{\vee} \neg C \mathord{\vee} \neg A$$ Absorption

$$\neg A \mathord{\vee} \neg C \mathord{\vee} \neg A$$

Sind die Schritte richtig oder muss ich nach dem Distributieren noch die Klammern setzen wodurch die Absorption nicht mehr möglich ist?

Answer 1

Brauchst keine Klammern.  v ist auch assoziativ !

Comments

Ah stimmt, vielen Dank :)