, b, {0,1}, , 1 () , 1 () . Ù (&) ×. .
, , :
14
b | 0 | 1 | |
0 | 0 | 0 | |
1 | 0 | 1 | =Ùb |
, 2a, {0,1}, 0,1 . :
15
b | =Ùb | |
0 | 0 | 0 |
0 | 1 | 0 |
1 | 0 | 0 |
1 | 1 | 1 |
n , ( 1).
, , (disjunctio ). : 5 4.
, b , 0 () , ( 0).
Ú.
vel. Ú .
() . 16.
16
b | =Úb | |
0 | 0 | 0 |
0 | 1 | 1 |
1 | 0 | 1 |
1 | 1 | 1 |
n , .
, , , , . : , , .
, .
, .
a . 17.
17
0 | 1 |
1 | 0 |
, ..., .
: , .
, b , 0 () , , b .
.
. 18.
18
b | =b | |
0 | 0 | 1 |
0 | 1 | 1 |
1 | 0 | 0 |
1 | 1 | 1 |
|
|
, , .
, , , ().
(): , .
() , , , . .
. 19.
19
b | =b | |
0 | 0 | 1 |
0 | 1 | 0 |
1 | 0 | 0 |
1 | 1 | 1 |
, , , 2 ( ).
, , , b , .
n n , n- .
, , . .
, : (. 20) , n .
20
| BC | z | |||
x3 | 2 | x1 | |||
0 | 0 | 0 | 0 | 1 | |
0 | 0 | 1 | 1 | 1 | |
0 | 1 | 0 | 2 | 1 | |
0 | 1 | 1 | 3 | 1 | |
1 | 0 | 0 | 4 | 0 | |
1 | 0 | 1 | 5 | 0 | |
1 | 1 | 0 | 6 | 0 | |
1 | 1 | 1 | 7 | 0 | |
(. . 20) , 3, .. , 2, 3 z !
, .
, :
1) Ú (Ȼ);
2) & (Ȼ);
3) (Ż);
4) (, λ);
5) ( , ).
, :
6) 2 Å (, , -Ȼ).
:
7) ¯ (-Ż);
8) ½(-Ż) .
, , , , .
, , () , 0 1, :
,
, a1 a2 a3 .
, , =1 (), 1 .
, =1.
|
|
. (. 21).
21
| z1 | z2 | z3 | |||
a3 | a2 | a1 | ||||
0 | 0 | 0 | 0 | 1 | 0 | 1 |
0 | 0 | 1 | 1 | 0 | 1 | 0 |
0 | 1 | 0 | 2 | 0 | 1 | 0 |
0 | 1 | 1 | 3 | 0 | 0 | 1 |
1 | 0 | 0 | 4 | 0 | 1 | 0 |
1 | 0 | 1 | 5 | 0 | 0 | 1 |
1 | 1 | 0 | 6 | 1 | 0 | 1 |
1 | 1 | 1 | 7 | 0 | 1 | 0 |
z1=0,6[1,2,3,4,5,7],
z2=1,2,4,7[0,3,5,6]=a1Åa2Åa3=1,
z3=0,3,5,6[1,2,4,7].
, . ( ).
, .
:
,
:
z2=0,3,5,6[1,2,4,7], ..
z1,z2,z3=0,6.
, , :
a1Åa2Åa3=a3, a1Åa2Åa3Åa3=0, a1Åa2=0.
: 01,10 (a1a2).