ВУЗ:
Составители:
Рубрика:
6
где f
i
=0,1 – коэффициенты разложения,
Таблица 1.1.
NN
п/п
Аналитическое выражение Примечания
1
X = 0, если X ≠ 1;
X = 1, если X ≠ 0
Определение двоичной
( булевой ) переменной
2
0 • 0 = 0;
1 + 1 = 1
Второму соотношению нет аналога в
обычной арифметике
3
1 • 1 = 1;
0 + 0 = 0
4
1 • 0 = 0 • 1 = 0;
0 + 1 = 1 + 0 = 1
5
0
1
10
=
=
Определение операции «инверсия», «от -
рицание» (НЕ)
6
X + 0 = X;
X • 1 = X
7
1 + X = 1;
0 • X = 0
1 + X + Y + ... = 1
8
X + X = X;
X • X = X
nX = X;
X
n
= X
9
XX)X(
X)X(
==
=
Двойная инверсия оставляет логическое
выражение неизменным
10
XX1
X X0
+=
=
!
11
XY + XZ = X(Y+Z)
(X + Y)(X + Z) = X + YZ
Распределительный закон
Закон поглощения
12
XYZ...XYZ
XYZ...XYZ...
+++=
=+++
!!
!!!
Теорема де Моргана
13
12n
12n
[x, x, ..., x, (+), (g)]
[x, x, ..., x, (g), (+)]
f
f
=
=
Теорема Шеннона
14
12n
12n
12n
12n
12n
12n
(x, x, ..., x)
x(1, x, ..., x)
x(0, x, ..., x);
(x, x, ..., x)
[x(0, x, ..., x)]
[x(1, x, ..., x)]
f
f
f
f
f
f
=
=+
+
=
=+
+
!
!
!
Теорема разложения
6
гд е f i =0,1 – коэффиц иенты раз
ложения,
Т аблиц а1.1.
NN
А налитическое в ы ражение П римечания
п /п
X = 0, если X ≠ 1; О п ред еление д в оичной
1
X = 1, если X ≠ 0 (булев ой) п еременной
0 • 0 = 0; В торомусоотнош ению нетаналогав
2
1+1=1 обы чной арифметике
1 • 1 = 1;
3
0+0=0
1 • 0 = 0 • 1 = 0;
4
0+1=1+0=1
0 =1 О п ред еление оп ерац ии «инв ерсия», «от-
5
1 =0 риц ание» (Н Е )
X + 0 = X;
6
X •1 = X
1 + X = 1;
7 1 + X + Y + ... = 1
0 •X = 0
X + X = X; nX = X;
8
X •X = X Xn = X
(X ) = X Д в ойная инв ерсия остав ляетлогическое
9
( X) = X = X в ы ражение неиз менны м
X +X =1
10
X !X = 0
XY + XZ = X(Y+Z) Расп ред елительны й з
акон
11
(X + Y)(X + Z) = X + YZ Закон п оглощ ения
X + Y + Z + ... = X!Y !Z
12 Т еоремад е М органа
X!Y !Z!... = X + Y + Z + ...
f [x1 , x 2 , ..., x n , (+), (g)] =
13 Т еоремаШ еннона
= f [x1 , x 2 , ..., x n , (g), (+)]
f (x1 , x 2 , ..., x n ) =
= x1 f (1, x 2 , ..., x n ) +
+ x1 ! f (0, x 2 , ..., x n );
14 Т еоремараз
ложения
f (x1 , x 2 , ..., x n ) =
= [x1 + f (0, x 2 , ..., x n )]!
![x1 + f (1, x 2 , ..., x n )]
Страницы
- « первая
- ‹ предыдущая
- …
- 4
- 5
- 6
- 7
- 8
- …
- следующая ›
- последняя »
