Digitale Logik Absorptionsgesetz

Question

Ich hoffe jemand hier kennt sich mit der Digitalen Logik aus, denn ich verstehe das Absorptionsgesetz nicht ganz.

Im Beweis wird aus a X (b + E) = a X E. Mit der Begründung Axiom 111a

111a besagt nur das die Operation "+" kommutativ ist.

Answer 1

IIIa (+ kommutativ) wird von der 2. zur 3. Zeile benutzt.

Was sagt denn der Satz 2?

Comments

danke für die Antwort.

---

Ok. Das passt dann.

b + E = E.

b ist ja ein Element der booleschen Algebra.

Die Erklärungen der Übergänge von einer Zeile zur nächsten sind wohl alle eine Zeile weiter unten als gewohnt.