Структурная схема дискретного устройства. Разработка генератора импульсов. Синтез абстрактного конечного автомата, страница 3

Таблица №1.2 Таблица истинности двоичного суммирующего счётчика.

Текущие

Последующие

J1

K1

J2

K2

J3

K3

J4

K4

Q1

Q2

Q3

Q4

Q1

Q2

Q3

Q4

0

0

0

0

0

-

-

-

-

*

*

*

*

*

*

*

*

1

0

0

0

1

-

-

-

-

*

*

*

*

*

*

*

*

2

0

0

1

0

-

-

-

-

*

*

*

*

*

*

*

*

3

0

0

1

1

0

1

0

0

0

~

1

~

~

1

~

1

4

0

1

0

0

0

1

0

1

0

~

~

0

0

~

1

~

5

0

1

0

1

0

1

1

0

0

~

~

0

1

~

~

1

6

0

1

1

0

0

1

1

1

0

~

~

0

~

0

1

~

7

0

1

1

1

1

0

0

0

1

~

~

1

~

1

~

1

8

1

0

0

0

1

0

0

1

~

0

0

~

0

~

1

~

9

1

0

0

1

1

0

1

0

~

0

0

~

1

~

~

1

10

1

0

1

0

1

0

1

1

~

0

0

~

~

0

1

~

11

1

0

1

1

1

1

0

0

~

0

1

~

~

1

~

1

12

1

1

0

0

1

1

0

1

~

0

~

0

0

~

1

~

13

1

1

0

1

1

1

1

0

~

0

~

0

1

~

~

1

14

1

1

1

0

1

1

1

1

~

0

~

0

~

0

1

~

15

1

1

1

1

0

0

1

1

~

1

~

1

~

0

~

0

Из таблицы №1.2 выпишем все комбинации состояний входов, когда на выходе К1 будут

 значения : 1 или  ~  или * .

Минимизируем это выражение с помощью метода Мак-Класки.

Разобьём все комбинации на группы по принципу, чтобы в каждой группе содержались комбинации с одинаковым числом единиц.