Aussagenlogik Thema Umformung

Question

Hey ihr,

ich behandele in der Uni zurzeit die Thematik Aussagenlogik und habe insbesondere bei der Umformung von 2 nach 3 Probleme herauszufinden, welches Gesetz dort verwendet wurde. Folgende Axiome sind gegeben und je Schritt wurde angeblich eins verwendet:
A) Kommutativgesetz
B) Assoziativgesetz
C) Distributivgesetz
D) Identitätsgesetz
E) Extremalgesetz
F) Komplementärgesetz
G) Idempotenzgesetz
H) Verschmelzungsgesetz
I) De Morgan'sches Gesetz
J) Doppeltes Negationsgesetz

Daher meine Frage. Kann mir jemand sagen, welches Axiom bei der Umwandlung von 2 zu 3 Verwendung fand? Danke!

Answer 1

Das geht nach dem Distributivgesetz in der Form

(X ∨ Y )∧ Z = (X∧Z) ∨ (Y∧Z)

bei dir ist Z=c und X=(¬a∨¬b)  und Y =¬c

Comments

Alles klar, danke! Wie sieht es denn von 1 zu 2 aus? Welches Gesetz greift dort?

---

Assoziativgesetz für ∧