Синтез абстрактного автомата. Построение обобщённой таблицы истинности. Таблица переходов. Таблица выходов, страница 2

Вход

Текущее состояние

Последующее состояние

Сигналы на входах триггеров

Выход

a

x1n

x2n

x3n

x1n+1

x2n+1

x3n+1

J1

K1

J2

K2

J3

K3

Z

0

0

1

0

0

1

0

0

~

~

0

0

~

0

0

0

1

1

0

1

1

0

~

~

0

~

0

0

0

1

0

0

1

0

1

~

0

0

~

1

~

1

0

1

0

1

1

1

1

~

0

1

~

~

0

1

0

1

1

0

1

0

0

~

0

~

1

0

~

0

0

1

1

1

1

1

0

~

0

~

0

~

1

~

1

0

1

0

1

1

0

1

~

~

0

0

~

0

1

0

1

1

0

1

0

0

~

~

0

~

1

1

1

1

0

0

1

0

0

~

0

0

~

0

~

1

1

1

0

1

1

0

1

~

0

0

~

~

0

0

1

1

1

0

1

1

1

~

0

~

0

1

~

0

1

1

1

1

0

1

1

~

1

~

0

~

0

~

Примечание: знаком ~ обозначены безразличные значения сигнала.

2.2 Минимизация ФАЛ.

Считая функции J1, K1, J2, K2, J3, K3 и Z заданными в виде таблицы истинности (см. таблицу 9) минимизируем их методом карт Карно:

J1 :                                           J2 :                                                   J3 :