char. Gleichung für den Folgezustande D_2

[Cano C. (cano_c)]

Also laut einer Lösung soll aus der Automatentafel für den Folgezustand

$$D_2^{n+1} = D_1^{n}$$

herauskommen.

Ich komme jedoch auf was anderes.

[Alexander S. (alesi)]

Die gleiche Frage hast Du wohl auch auf dem Matheplaneten gestellt.

https://www.matheplanet.de/matheplanet/nuke/html/viewtopic.php?topic=262423

[Cano C. (cano_c)]

Da kann mir aber auch niemand helfen.

[Mario M. (thelonging)]

Der geklammerte Ausdruck ist nicht "1" sondern E1 xor D2.

[Cano C. (cano_c)]

Mario M. schrieb:
> Der geklammerte Ausdruck ist nicht "1" sondern E1 xor D2.

Ja genau, aber meine Frage ist, ob du aus der Automatentafel für den 
Folgezustand von

$$D_2^{n+1} = D_1^n$$

 auch erhältst oder wie ich auch, auf das selbe Ergebnis, mit dem 
Klammer Ausdruck kommst.

Könnte ich dann das Distributivgesetz anwenden und folgendes sagen

$$D_1\cdot (E_1\oplus D_2) \overbrace{=}^{\color{red}{?}} D_1\cdot E_1\oplus D_1\cdot D_2$$