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

Gast #1396151
Lesenswert?

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.
OP Persönliche Seite #1396165
Lesenswert?

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.
Gast #1396172
Lesenswert?

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é
Gast #1398192
Lesenswert?

>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
OP Persönliche Seite #1398198
Lesenswert?

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 :]

Antwort schreiben

Bitte melde dich an, um einen Beitrag zu schreiben.

oder

Mit Google-Account einloggen

Die Registrierung ist kostenlos und dauert nur eine Minute.

Jetzt registrieren