char. Gleichung für den Folgezustande D_2

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

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

Da kann mir aber auch niemand helfen.

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

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$$