Page 17 - 6733

Отже,
( X  X  Y ) Y  Z  X  Y ( X  Y ) Y  Z  X  Y
= = X  Y  Y  Z  X  Y = X  Y  Z .

2.3.2. Експериментальне визначення таблиці істинності логічного
виразу

Для експериментального визначення таблиці істинності логічного виразу
необхідно подавати на входи відповідної йому схеми всі можливі комбінації з N
нулів та одиниць, де N – кількість входів схеми (дорівнює кількості змінних в
логічному виразі). В даній лабораторній роботі для цього пропонується
використати компонент Stim4. Для його програмування, крім команд, розглянутих
в лабораторній роботі №1, можуть використовуватись наступні:
<time> INCR BY <value> - додати value до значення на виході
компонента
<time> DECR BY <value> - відняти value від значення на виході
компонента
Використання цих команд в поєднанні з командами організації циклу
дозволяє запрограмувати Stim4 на послідовну генерацію двійкових чисел 0000,
0001,0010..., 1111.
Якщо поле FORMAT компонента Stim4 має значення “1111”, то значення
логічних рівнів в командах означення компонента задаються в двійковому
форматі, якщо “4” – в шістнадцятковому.
Приклади програмування Stim4:

а) для FORMAT=1111:
.DEFINE IN1
+0us 0000
+LABEL=BEGIN
++50us INCR BY 0001
++50us GOTO BEGIN 16 TIMES

б) для FORMAT=4:
.DEFINE IN1
+0us 0
+LABEL=BEGIN
++50us INCR BY 1
++50us GOTO BEGIN 16 TIMES

Обидва означення мають однаковий ефект – генерування зростаючої
послідовності 16 двійкових чисел з інтервалом 50 мкс.

2.4. Порядок виконання роботи

1. Скласти схему згідно з заданим логічним виразом.

17