Составленная таким образом таблица определяет функции возбуждения входов всех триггеров. Аргументы этих функций написаны в колонках 1-4.
Для представления функций возбуждения триггеров в минимальной дизъюнктивной нормальной форме составим диаграммы Вейтча (рис. 5.8). Чтобы облегчить процесс занесения функции возбуждения на диаграмму Вейтча, пронумеруем все двоичные наборы состояний счётчика соответствующими десятичными числами, в этом случае двоичная запись состояния счётчика воспринимается как двоичное число с естественными весами разрядов. При составлении диаграмм (рис. 5.8) неопределённые коэффициенты аi, i в каждой строке следует заносить с индексами, равными десятичному числу двоичного набора. Перед заполнением диаграмм Вейтча составим эталонную диаграмму, в которой обозначим все поля десятичными числами (рис. 5.9). Эти числа соответствуют десятичной записи двоичного набора конституанты единицы.
Из таблицы переходов (см. рис. 5.8) десятичного счётчика в коде 2421 видно, что из 16 возможных комбинаций используются только десять. Остальные шесть являются запрещёнными, при правильной работе счётчика. Это
`Q4Q3Q2Q1∙`Q4Q3Q2`Q1∙`Q4Q3`Q2Q1∙Q4`Q3`Q2Q1∙ Q4`Q3`Q2`Q1∙ Q4`Q3Q2`Q1
Им соответствуют незаполненные поля диаграмм Вейтча.
| K1 | Q3 | |||||
| Q4 | ai | 1 | X | X | K1=Q1 | |
| ai | 1 | 1 | X | Q2 | ||
| X | X | 1 | ai | |||
| ai | X | 1 | ai | |||
| Q1 | ||||||
| J2 | Q3 | |||||
| Q4 | 0 | 1 | X | X | J2=Q1+Q3∙`Q4 | |
| ai | ai | ai | X | Q2 | ||
| X | X | ai | ai | |||
| 1 | X | 1 | 0 | |||
| Q1 | ||||||
| K2 | Q3 | |||||
| Q4 | ai | ai | X | X | K2=Q1 | |
| 0 | 1 | 1 | X | Q2 | ||
| X | X | 1 | 0 | |||
| ai | X | ai | ai | |||
| Q1 | ||||||
| J3 | Q3 | |||||
| Q4 | ai | ai | X | X | J3=Q1∙Q2 | |
| ai | ai | 1 | X | Q2 | ||
| X | X | 1 | 0 | |||
| ai | X | 0 | 0 | |||
| Q1 | ||||||
| K3 | Q3 | |||||
| Q4 | 0 | 0 | X | X | K3=Q1∙Q2+Q3∙`Q4 | |
| 0 | 1 | ai | X | Q2 | ||
| X | X | ai | ai | |||
| 1 | X | ai | ai | |||
| Q1 | ||||||
| J4 | Q3 | |||||
| Q4 | ai | ai | X | X | J4=Q3 | |
| ai | ai | ai | X | Q2 | ||
| X | X | 0 | 0 | |||
| 1 | X | 0 | 0 | |||
| Q1 | ||||||
| K4 | Q3 | |||||
| Q4 | 0 | 0 | X | X | K4=Q1∙Q2∙Q3 | |
| 0 | 1 | 0 | X | Q2 | ||
| X | X | ai | ai | |||
| ai | X | ai | ai | |||
| Q1 | ||||||