Методичні вказівки до лабораторних занять з дисципліни «прикладна теорія цифрових автоматів», страница 49

= а₅`x<sub>4</sub>  V  a<sub>5</sub>x<sub>4</sub> V a<sub>2</sub>`х₁ V a₄=  a₅  V  a₄   V  a₂`х₁;

у₈  = a₃ х₂  v a₄.

Комбінаційну частину автомата необхідно реалізувати в універсальному базисі Шефера (І – НІ). Перехід до цього базису виконують з урахуванням властивостей функцій Шефера х₁ /х₂  = х₁· х₂ .

Перехід від диз’юнктивної нормальної форми до базиса Шефера простий: усі терми беруть у дужки, а всі знаки кон’юнкцій та диз’юнкцій замінюють на операції Шефера. Це правило справедливе, якщо кожний терм містить не менше двох літер. Якщо у ДНФ є однолітерний терм, то у базисі Шефера над ним ставиться заперечення. Для нашого прикладу функції збудження та функції виходу у базисі Шефера приймуть вигляд:

R₁  = а₁ ; S₁ =а₂ ;  К^*₂   =0;

J^*₂  = а₂ х₁ =(a₂/x₁)/1;

R₃  =( а₅/`x<sub>4</sub> )/`a₁;

S ₃ = (а₃ /х₂ )/ `а₄ ;

y₁  = (а₃ /х₂ )/(а₂ /х₁ ) /`а₁ ;

y₂  = (а₃ /х₂ )/(а₅ /х₄ ) /`а<sub>1</sub> /`а₂ ;

y₃  = (а₅ /х₄ ) /`а<sub>1</sub> /`а₂ ;                   

у₄  = (а₃ /х₂ ) / (а₂ /`х<sub>1</sub> ) / `а₄ ;

y₅  = (а₅ /`х<sub>3</sub> ) / (а<sub>5</sub> /`х₄ ) /`а₂ ;

y₆  = а₅ х₄  = (а₅ /х₄ ) = (а₅ /х₄ )/1;

y₇  = (а₂ /`х<sub>1</sub> ) /`а₄ / `а₅ ;