ВУЗ:
Составители:
Рубрика:
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
- …
- следующая ›
- последняя »