Nach der Zustandskodierung folgt die Auswahl der Flipflops (D-Flipflops sind hierfür am verbreitetsten). Die Steuereingänge der Flipflops bestimmen maßgeblich die aufzustellende Wahrheitstabelle für das Übergangsschaltnetz (Zustandsfolgetabelle). Die Wahrheitsstabelle des Ausgangsschaltnetzes (Ausgangstabelle) ist bereits durch die Zustandskodierung fest definiert. Die booleschen Gleichungen können unmittelbar aus den Tabellen abgelesen werden.