Основы синтеза и диагностирования автоматов. Воронин В.В. - 108 стр.

UptoLike

ВУЗ: 

ТОГУ | Хабаровск

Составители: 

Рубрика: 

104
Например, пусть требуется представить в виде таблицы истин-
ности следующую функцию, являющуюся суперпозицией элементар-
ных функций
f(x
1
,x
2
,х
3
)={[(
⎯
х
1
≡
x
3
)
∨
( x
1
°
x
2
)]
∧
( x
1
⊕
x
2
)}
→
x
3
.
Рассмотрим последовательно вычисление строк таблицы истинности
этой функции (табл.
3.22).
Таблица
3.22
x
1
x
2
x
3
⎯
x
1
⎯
x
1
≡
x
1
x
1
ο
x
1
[…]
х
1
⊕
x
1
{…} f
0 0 0 1 0 1 1 0 0 1
0 0 1 1 1 1 1 0 0 1
0 1 0 1 0 0 0 1 0 1
0 1 1 1 1 0 1 1 1 1
1 0 0 0 1 0 1 1 1 0
1 0 1 0 0 0 0 1 0 1
1 1 0 0 1 0 1 0 0 1
1 1 1 0 0 0 0 0 0 1
Ниже рассмотрим обратную задачу: по заданной таблице ис-
тинности получить аналитическую запись функции. Существует глу-
бокая аналогия между логическими функциями и выражениями из
множеств. Каждой логической функции можно поставить в соответ-
ствие определенное теоретико-множественное выражение. Примеры
таких соответствий приведены на рис.
3.10.
Диаграмма на рис.
3.10, б соответствует следующему теорети-
ко-множественному выражению
BA
B
A
∪
∩
, которое понимается как до-
полнение пересечения множеств
А и В до их объединения.

Страницы