5
: i. 1. , --i, -, , iii, .
: , --i, -, , iii, .
: ; , iiii ; i ; , --i, -; i ; iiii i i iii, ;
1 Ͳ Ͳ ²Ҳ
1.1 , i i
̳ , .
̳ .
, , .
, , , .
, .
: , .
, , - .
, .
() .
() , , , .
g(x1,...,xn) f(x1,...,xn), , g = 1, f = 1.
g f, , , g f.
, .
|
|
1. f .
2. f .
.
f g1, g2, g3, g4, g5, g6, g7 ( 1).
f = /x1x2x3 v x1x2/x3 v x1x2x3;
g1 = x1x2x3;
g2 = x1x2/x3;
g3 = x1x2x3 v x1x2/x3 = x1x2 (x3 v x3) = x1x2;
g4 = /x1x2x3;
g5 = /x1x2x3 v x1x2x3 = x2x3;
g6 = /x1x2x3 v x1x2/x3;
g7 = /x1x2x3 v x1x2/x3 v x1x2x3 = f.
1
x3x2x1 | f | g1 | g2 | g3 | g4 | g5 | g6 | g7 |
000 001 010 011 100 101 110 111 | 0 0 0 1 0 0 1 1 | 0 0 0 0 0 0 0 1 | 0 0 0 0 0 0 1 0 | 0 0 0 0 0 0 1 1 | 0 0 0 1 0 0 0 0 | 0 0 0 1 0 0 0 1 | 0 0 0 1 0 0 1 0 | 0 0 0 1 0 0 1 1 |
:
- g3 = x1x2 g5 = x2x3 ˗ f;
- g1, g2, g4, g6 , f ( g3 g1).
f , , g3 g 5, f f = g3 v g5 = x1x2 v x2x3.
1, g3 g5 f.
.
, , , .
.
, .
, .
f, , .
.
.
- .
, . , .
1.2 i
, ().
( , , ).
i i i:
- , ;
- , ( ).
|
|
.
1. , ( , ii ).
2. , .
.
, i 1.
1 X = f(A,B,C)
i | A | B | C | Xi = fi (A,B,C) |
, i 1, :
(1) | |||
.
1 () , i , i :
- , i i i i, i;
- i , , i , i;
- i, i i i i, i , i, i;
- i, i i i i, i , c ( , , , );
- , i i .
i , i ii.
i, i ii, , i i :
, , | (2) |
i , ( ii i i i ii ), i, i i, .
2 i .
, :
- i i , ;
- i i i , i, i 1.
̳ i , ( ).
i i, , .
(-i) i i : i , i .
.
|
|
, (1), X = .
i, 2, i i i i, .
2 1 ( 1-1)
̳ | ||||||
i 2, , i , i.
i, i, ii i, ● i ●●, ii, i 3, ﳺ i 2.
3 1 ( 1-2)
̳ | ||||||
● | ●● | ●● | ||||
●● | ● | ●● | ||||
●● | ● | ●● | ||||
●● | ● | ●● | ||||
●● | ● | ●● | ||||
●● | ●● | ● |
4, i i:
- i, i i i i, i , i, i;
- i, i i i i, i , c .
4 1 ( 1-3)
̳ | ||||||
i 4, ii - . ̳, , .
, i :
. | (3) |
(3) , .
(3) () .
i 2, i .
5, :
- (3);
- , (1) .
̳ , .
5
̳ | ||||||||
+ | + | |||||||
+ | + | |||||||
+ | + | |||||||
+ | + | |||||||
+ | + | |||||||
+ | + | |||||||
.
|
|
i 5 i , i . , i i :
, , ,
, , .
³, i , :
(4) | |
, | (5) |
г (4) (5) i ii ( ).
:
- ;
- i, i , ;
-
.
.
( ).
, .
: V / = A (x v /x) = ( - ).
( ): V = ( V 1) = , / V = (/ V 1) = .
, .
.
6.
6
x4x3x2x1 | f |
0000 0001 0010 0011 0100 0101 0110 0111 1000 1001 1010 1011 1100 1101 1110 1111 | 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 |
:
f = /x1/x2/x3x4 v /x1/x2x3x4 v /x1x2/x3x4 v /x1x2x3x4 v x1x2x3/x4 v x1x2x3x4.
, f ( 1 6).
: 1 2 ( x3) 3 ( 2), 2 4 . .
, , .
, :
- 1 2: /x1/x2x4;
- 1 3: /x1/x3x4;
- 2 4: /x1x3x4;
- 3 4: /x1x2x4;
- 4 6: x2x3x4;
- 5 6: x1x2x3.
.
, . , /x1x4:
/x1/x2x4 v /x1x2x4 = /x1x4,
/x1/x3x4 v /x1x3x4 = /x1x4,
.
( ), :
x2x3x4 v x1x2x3 v /x1x4.