Синтез асинхронных конечных автоматов, страница 5

7.       Вычисление выходной функции.

x2

Y1

x1

0

1

~

0

1

1

~

0

0

1

~

0

0

0

~

0

y3

y2

0

~

~

0

0

~

~

0

~

~

~

~

~

~

~

~

y1

y1

x2

Y2

x1

0

0

~

0

0

0

~

1

0

0

~

0

0

0

~

0

y3

y2

0

~

~

1

1

~

~

1

~

~

~

~

~

~

~

~

y1

y1

x2

Y3

x1

0

1

~

1

0

0

~

1

0

1

~

1

1

1

~

1

y3

y2

0

~

~

1

1

~

~

1

~

~

~

~

~

~

~

~

y1

y1

x2

Z1

x1

0

1

~

0

1

1

~

0

0

1

~

0

0

0

~

0

y3

y2

0

~

~

1

1

~

~

0

~

~

~

~

~

~

~

~

y1

y1

x2

Z2

x1

1

0

~

1

0

0

~

1

1

0

~

1

1

1

~

1

y3

y2

1

~

~

0

1

~

~

1

~

~

~

~

~

~

~

~

y1

y1