1000101110001110111000000100110001011100111100111111100001001100010110000111011100100010011000101110011110011111110000100110001011100011101110100001001100010111110011001111111000010011000101100001110111011000100110001011111001100111111100001001100010111000111011110000010011000101110001110011111110000100110001011000011101111010001001100010111000111001111111000010011000101110001110111110000100110001011100101100111111100001001100010110000111011111100010011000101110010110011111110000100110001011100011101
5. 10 Запис функцій збудження і функцій виходів у СДНФ
Функції збудження T - тригера:
---------------------
T0=(kpabs v kpabs) v (kpabs v kpabs v kpabs v kpabs) v
kv kv
-
kv k
------------------------
T1=(kpabs v kpabs v kpabs v kpabs v kpabs v kpabs v kpabs v kpabs v
kpabs v kpabs v kpabs v
---------------
kpabs v kpabs v kpabs) v (kpabs v kpabs v kpabs v kpabs)
v
------
kv kv kv kv k
--------------------
T2=(kpabs v kpabs v kpabs v kpabs v kpabs v kpabs v kpabs v kpabs v
kpabs v kpabs v
------------------
kpabs v kpabs) v (kpabs v kpabs v kpabs v kpabs v kpabs v kpabs v
kpabs v
------------) v kv kv kv kv k
------------------- 3=(kpabs v kpabs v kpabs v kpabs v kpabs v kpabs v kpabs v kpabs v
kpabs v kpabs v kpabs v
------------------------) v (kpabs v kpabs v kpabs v kpabs v kpabs v kpabs v kpabs v
kpabs) v
----------------- v kv kv kv kv kv k
v
----
kv k
Вирази в дужках можна спростити методом безпосередніх перетворень. В результаті отримаємо такі вирази:
-------------
T0=kpabv kabv kv kv kv k
------------- 1=(kpb v kp v ka) v kabv kv kv k
v k v
-
------------- 2=(kab v kab v kp) v (kab v kab) v kv kv
kv
--- v k
----------------- 3=(kpb v kb) v kbv ksv kv kv k
v
----------- v kv kv kv kv k
Функції виходів:
_______
Y0=Y7=q1q2q3q4 v
________
Y1=Y8 =?
_____
Y2=Y9=
____
Y3=Y10=
____
Y4=Y11=
______
Y5=q1q2q3q 4 v Y12=
_____
Y6 =? Y13=
5.11 Мінімізація функцій збудження і функцій виходів
Для остаточної мінімізації функцій використовується метод Карно. При мінімізації слід врахувати, що всі функції не є повністю визначеними, так як в таблиці переходів не використано стану Q 14 і Q 15.
Варто відзначити, що метод Карно застосуємо безпосередньо тільки до функцій не більше чотирьох змінних. У випадку більш складних функцій вони мінімізуються по частинах.
Діаграми Карно для функцій T +0, T 1, T 2, T 3 представлені на малюнках 15.12, 15.13, 15.14, 15.15.
В результаті мінімізації отримаємо наступні вирази для функцій T - тригерів:
T0=kpabv kabv k q2q3v k q1q2q4 vk q1q2q4
T1=kpbv kpv kav kabv k q2q4v k q2q3v k
q1q3q4
T2=kabv kabv kpv kab v kabv k 2q3 vq1q2q4 vk q1q2q4 ...
