Составители:
Рубрика:
Tablica 2
Bulevy funkcii odno$i i dvuh peremennyh
x 0 1
f
0
(x)
0 0 0
f
1
(x) 0 1 x
f
2
(x
) 1 0 x,
¬
x
f
3
(
x
) 1 1 1
x 0 0 1 1
y 0 1 0 1
f
0
(x, y
)
0 0 0 0 0
f
1
(x, y)
0 0 0 1 x
∧
y, x
· y
f
2
(x, y) 0 0 1 0 x\y
f
3
(x, y)
0 0 1 1 x, δ
1
(x, y)
f
4
(x, y) 0 1 0 0 y\x
f
5
(x, y
)
0 1 0 1 y, δ
2
(x, y
)
f
6
(x, y
)
0 1 1 0 x ⊕ y, x +
y
mod 2
f
7
(
x, y
)
0 1 1 1 x
∨ y
f
8
(
x, y
) 1 0 0 0 x↓y
f
9
(
x, y)
1 0 0 1 x
∼ y, x
y
f
10
(
x, y) 1 0 1 0 y
f
11
(
x, y)
1 0 1 1 y
→ x
f
12
(
x, y
) 1 1 0 0 x
f
13
(
x, y
)
1 1 0 1 x
→ y
f
14
(x, y
)
1 1 1 0 x|y
f
15
(x, y
)
1 1 1 1 1
Opredelenie 1.3 (Dvo$istvennye funkcii).
Dvo$istvenno$i k
f
(
x
1
,
. . .
, x
n
) nazyvaets funkci
f
∗
(x
1
,
. . .
, x
n
)
f(x
1
, . . .
,
x
n
).
Teorema 1.1 (Svz~ tablic funkci$i f i
f
∗
). Tablica dl
f
∗
poluqaets iz tablicy dl f zameno$i vseh nule$i edinicami,
edinic — nulmi, oboznaqeni f
v zagolovke na
f
∗
i peresta-
novko$i strok dl privedeni tablicy k standartnomu vidu.
D o k a z a t e l ~ s t v o . Dl kado$i stroki x
1
, . . . , x
n
, f
∗
(x
1
, . . . , x
n
)
v tablice dl
f
∗
na$idets stroka
x
1
,
. . . ,
x
n
, f
(
x
1
,
. . . ,
x
n
)
v tab-
lice dl f i v tih strokah f
∗
(
x
1
,
. . .
, x
n
) =
f(x
1
,
. . .
, x
n
)
.
J
Sledstvie 1 (Funkci f
∗∗
).
f
∗∗
(
x
1
, . . .
, x
n
) = f
(x
1
, . . .
, x
n
) .
Sledstvie 2 (Princip dvo$istvennosti). Sleduwie ravenstva
f(x
1
,
. . . , x
n
)=
g(x
1
, . . . , x
n
), f
∗
(
x
1
,
. . . , x
n
)=
g
∗
(
x
1
, . . .
, x
n
) ravnosil~ny.
6
Страницы
- « первая
- ‹ предыдущая
- …
- 4
- 5
- 6
- 7
- 8
- …
- следующая ›
- последняя »