8. Построение системы логических уравнений для описания функций переходов и выходов ца Мили

S(t)= δ{S(t-1), x(t)}

Y(t)=λ{S(t-1), x(t)}

R1 = Q1Q4X4

S1 =Q3Q4 vQ2Q4 vQ2Q3Q4

R2 = Q2Q4 vQ2Q3Q4

S2=Q4vQ4Х1

R3 = Q3Q4 vQ2Q3Q4

S3=Q4Х2v Q4Х1

R4 = Q4Х2v Q4v Q4Х1v Q3Q4v

v Q2Q4v Q2Q3Q4vQ1Q4vQ1Q4 Х4

S4=vQ3vQ2vQ2Q3v Q1Х3

Y1 =

Y2 = Q4Х2

Y3 =Q3

Y4 = Q4

Y5 = Q2

Y6 = Q4Х1

Y7 = Q2Q3

Y8 = Q3Q4 vQ2Q4 vQ2Q3Q4 v Q1v Q1Q4

Y9 =Q1X3

Y10 =Q1Q4X4

9. Минимизированная система логических уравнений ца Мили с помощью метода Квайна-Мак-Класски

S(t)= δ{S(t-1), x(t)}

Y(t)=λ{S(t-1), x(t)}

R1 = Q1Q4X4

S1 = Q3Q4 vQ2Q4

R2 = Q2Q4

S2 = Q4vQ4X1

R3 = Q3Q4

S3 = Q4Х2 v Q4Х1

R4 = Q4 vQ3Q4 vQ2Q4

S4 = v Q1Х3

Y1 =

Y2 = Q4Х2

Y3 =Q3

Y4 = Q4

Y5 = Q2

Y6 = Q4Х1

Y7 = Q2Q3

Y8 = Q3Q4 vQ2Q4 v Q1v Q1Q4

Y9 =Q1X3

Y10 =Q1Q4X4

10. Оптимизация функций схемы цифрового автомата:

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

R1

+

S1

+

+

R2

+

S2

+

+

R3

+

S3

+

+

R4

+

+

+

S4

+

+

Y1

+

Y2

+

Y3

+

Y4

+

Y5

+

Y6

+

Y7

+

Y8

+

+

+

+

Y9

+

Y10

+

1 = Q1Q4X4

2 = Q3Q4

3 = Q2Q4

4 = Q4

5 = Q4X1

6 = Q4Х2

7 = Q4

8 =

9 = Q1Х3

10 =

11 =Q3

12 = Q2

13 = Q2Q3

14 = Q1

15 = Q1Q4