Разработка дискретного устройства (ДУ). Построение обобщённой таблицы истинности. Схема электрическая принципиальная абстрактного автомата, страница 3

По полученной таблице переходов строим карты Карно для D_i как функции от переменных X_i :

D₁ :                                    D₂ :                                    D₃ :                                    D₄ :  

По полученным картам Карно составляем минимизированные функции :

         D₁= X₁X₂VX₁X₄VX₁X₃VX₁X₂X₃X₄ ,

         D₂= X₂X₃VX₂X₄VX₂X₃X₄ ,

         D₃= X₃X₄V X₃X₄ ,

         D₄= X₁X₄V X₃X₄VX₂X₄ .

Запишем минимизированные функции для реализации в базисе ИЛИ–НЕ:

         D₁= X₁V(X₂VX₃VX₄)VX₁VX₂VX₃VX₄= [X₁↓(X₂↓X₃↓X₄)]↓(X₁↓X₂↓X₃↓X₄),

         D₂= X₂V(X₃VX₄)VX₂VX₃VX₄= [X₂↓(X₃↓X₄)]↓(X₂↓X₃↓X₄),

         D₃= X₃VX₄VX₃VX₄= (X₃↓X₄)↓(X₃↓X₄),

         D₄= X₄V(X₁VX₂VX₃) = X₄↓(X₁↓X₂↓X₃).

На принципиальной схеме блок счётчика обозначен СТ.