Blackout: Warum ab+a' = b+a' ?

[Maik F. (sabuty)]

Heiße Phase der Prüfungsvorbereitung und ich scheitere gerade an 
folgendem:

Warum ist ab+a' = b+a' ?

Sieht gerade zufällig jemand die Umformung dafür?

[kurz (Gast)]

a=1 ?

[der mechatroniker (Gast)]

Weil in allen Fällen, in denen A falsch ist, der ganze Ausdruck eh zu 
falsch evaluiert. Also ist der linke Term nur relevant, wenn a wahr. 
Also kann man nach belieben ein a dranverunden oder weglassen.

[Maik F. (sabuty)]

der mechatroniker schrieb:
> Weil in allen Fällen, in denen A falsch ist, der ganze Ausdruck eh zu
> falsch evaluiert. Also ist der linke Term nur relevant, wenn a wahr.
> Also kann man nach belieben ein a dranverunden oder weglassen.

Ja, soweit bin ich schon.
Ich bin nur auf der Suche nach einer Umformung, die man auf ein Blatt 
Papier schreiben kann. Absorption und DeMorgan haben mir irgendwie beim 
ersten Anlauf nicht geholfen.

[André (Gast)]

Das Problem an dieser Schreibweise ist, dass man sie mit den 
mathematischen Operatoren "verwechselt".

Bei diesen Ausdruecken kann man jedoch auch das Pluszeichen 
"Ausmultiplizieren".

Heraus kommt: (A + A')*(A' + B). Ersterer Term ist augenscheinlich 1.

Gruessle
André

[Maik F. (sabuty)]

Argh. Ja, das Distributivgesetz.

Danke!

[Peter (Gast)]

Interessant:
Sobald es mal in einem Thread darum geht nachzudenken und nicht 
rumzujammern, wie schlecht es einem selbst geht, etc., gibt es schon 
deutlich weniger Beiträge!

[yannik (Gast)]

kann man das mit normaler Algebra nachvollziehen?
ab+a' = b+a'

(A + A')*(A' + B  ?

[Matthias L. (Gast)]

>kann man das mit normaler Algebra nachvollziehen?
>ab+a' = b+a'

>(A + A')*(A' + B  ?

Man könnte das Ausmultiplizieren:

( A + \A ) * ( \A + B )  =  A \A  +  A B  +  \A \A  +  \A B
                                            --------         = \A
                         =  A \A  +  A B  +    \A   +  \A B
                           ------                            = NULL
                         =    0   +  A B  +    \A   +  \A B
                                    -----------------------  sortieren
                         =    0   +   \A  +    A B  +  \A B
                                              -------------- Ausklammern
                         =    0   +   \A  +    B ( A + \A )
                                                 ----------  = 1

                         =            \A  +    B

[Maik F. (sabuty)]

Matthias Lipinsky schrieb:
>>kann man das mit normaler Algebra nachvollziehen?
>>ab+a' = b+a'
>
>>(A + A')*(A' + B  ?
>
> Man könnte das Ausmultiplizieren:
>
> ( A + \A ) * ( \A + B )  =  ...

So kann man ja auch argumentieren, dass

a+\a = 1

1* (\a+b) = \a+b

Aber das war ja nicht direkt meine Frage. Die ja zum Glück schon lange 
beantwortet wurde :]

[yannik (Gast)]

A' + B  = (A + A')*(A' + B)

Und woran sieht man so was auf Anhieb? :)

[D. I. (Gast)]

yannik schrieb:
> A' + B  = (A + A')*(A' + B)
>
> Und woran sieht man so was auf Anhieb? :)

Erfahrung / Übung