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

UptoLike

ВУЗ: 

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

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

Рубрика: 

99
от своих аргументов, функцию с одним несущественным аргументом
(добавим один несущественный аргумент z). Результат приведен в
табл. 3.13.
В теории ФАЛ доказывается следующая теорема. Число различ-
ных функций алгебры логики, зависящих от n аргументов, конечно и
равно
n
2
2 . Можно построить универсальную таблицу истинности всех
логических функций от n аргументов. Пусть S=
n
2
2 . Тогда универ-
сальная таблица истинности имеет
следующий вид (табл. 3.15).
Практически при заполненной
верхней части таблицы удобно ка-
ждому k ставить в соответствие
двоично-десятичный эквивалент.
Другой способ: в первую строку
вписываем периодически пары 01;
во вторую - четверки 0011; в тре-
тью – восьмерки 00001111 и т.д.
Нижнюю часть таблицы
тоже мож-
но заполнить двумя формальными способами. Первый - для каждого
y
i
в i-ю строку записываем двоичный эквивалент i; второй - в первый
Таблица 3.12
х
1
х
2
х
3
f
0
f
1
0 0 0 0 0
0 0 1 0 0
0 0 0 1 1
0 1 1 0 0
1 0 0 0 0
1 0 1 0 0
1 1 0 1 1
1 1 1 1 1
Таблица 3.13
z х
1
х
2
f
z
,
0 0 0 0
0 0 1 1
0 1 0 1
0 1 1 0
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 0
Таблица 3.14
х
1
х
2
f
0 0 0
0 1 1
1 0 1
1 1 0
Таблица 3.15
k
x
0 1 2 3 … 2
n
-1
x
1
0 1 0 1 … 1
x
2
0 0 1 1 … 1
… … … … … … …
x
n
0 0 0 0 … 1
y
0
0 0 0 0 … 0
y
1
1 0 0 0 … 0
… … … … … … …
y
s
-1
1 1 1 1 … 1

Страницы