ВУЗ:
Составители:
Рубрика:
7
14
)]x,...,x,1(fx[
)]x,...,x,0(fx[
)x,...,x,x(f
);x,...,x,0(fx
)x,...,x,1(fx
)x,...,x,x(f
n21
n21
n21
n21
n21
n21
+•
•+=
=
•+
+=
=
Теорема разложения
Таблица 1.2
Значения
аргумен-
тов
X 0 0 1 1
Y 0 1 0 1
Аналитическое
выражение
Наименование
Графическое
изображение
аппаратурного
аналога
0 0 0 0
ƒ
ƒƒ
ƒ
0
= 0
Константа 0
0 0 0 1
ƒ
ƒƒ
ƒ
1
= X
•
••
•
Y
Логическое умноже-
ние, конъюнкция (И)
0 0 1 0
YXf
2
•=
Запрет по Y
0 0 1 1
ƒ
ƒƒ
ƒ
3
= X
Тождественность
0 1 0 0
YXf
4
•=
Запрет по X
0 1 0 1
ƒ
ƒƒ
ƒ
5
= Y
Тождественность
0 1 1 0
YXYXf
6
•+•=
Исключительное
ИЛИ (неравнознач-
ность)
0 1 1 1
ƒ
ƒƒ
ƒ
7
= X + Y
Логическое сложе-
ние, дизъюнкция
(ИЛИ)
1 0 0 0
YXf
8
+=
Стрелка Пирса
(ИЛИ - НЕ)
1 0 0 1
YXYXf
9
•+•=
Эквивалентность,
равнозначность
1 0 1 0
Yf
10
=
Инверсия Y (НЕ)
1 0 1 1
YXf
11
+=
Импликация от
Y к X
1 1 0 0
Xf
12
=
Инверсия X (НЕ)
1 1 0 1
YXf
13
+=
Импликация от
X к Y
1 1 1 0
YXf
14
•=
Штрих Шеффера
(И - НЕ)
1 1 1 1
ƒ
ƒƒ
ƒ
15
= 1
Константа 1
З н а ч е н и я ф у н к
7
f ( x 1 , x 2 ,..., x n ) =
= x 1 f ( 1 , x 2 ,..., x n ) +
+ x 1 • f ( 0 , x 2 ,..., x n );
14 Теорема разложения
f ( x 1 , x 2 ,..., x n ) =
= [ x 1 + f ( 0 , x 2 ,..., x n )] •
• [ x 1 + f ( 1 , x 2 ,..., x n )]
Таблица 1.2
Значения Графическое
аргумен- Аналитическое Наименование изображение
тов выражение аппаратурного
X0011 аналога
Y0101
0000 ƒ0 = 0 Константа 0
Логическое умноже-
0001 ƒ1 = X•Y
ние, конъюнкция (И)
0010 f 2 = X •Y Запрет по Y
0011 ƒ3 = X Тождественность
0100 f 4 = X •Y Запрет по X
ф у н к
0101 ƒ5 = Y Тождественность
Исключительное
0110 f6 = X •Y + X •Y ИЛИ (неравнознач-
ность)
Логическое сложе-
З н а ч е н и я
0111 ƒ7 = X + Y ние, дизъюнкция
(ИЛИ)
Стрелка Пирса
1000 f8 = X +Y
(ИЛИ - НЕ)
Эквивалентность,
1001 f9 = X • Y + X • Y
равнозначность
1010 f 10 = Y Инверсия Y (НЕ)
Импликация от
1011 f 11 = X + Y
YкX
1100 f 12 = X Инверсия X (НЕ)
Импликация от
1101 f 13 = X + Y
XкY
Штрих Шеффера
1110 f 14 = X • Y
(И - НЕ)
1111 ƒ15 = 1 Константа 1
Страницы
- « первая
- ‹ предыдущая
- …
- 5
- 6
- 7
- 8
- 9
- …
- следующая ›
- последняя »
