0 1, , .. . 1.2. Y , , , .
, Y = 1, a c = 1 ( 1), ( 3), ( 6), ( 7).
1.2.
a | b | c | Y | a | b | c | Y | ||||
: (1.1)
(). , . , . . .
, , : , , . .
, :
, ; , ; - -.
, , , . - (1.1). , (1.1), . 1.6. . . , . , . , - . , .
.1.6. , (1.1).
, , . , .
(1.1) , abc ( ), ( ) ( ) , .
|
|
abc abc= (abc a c) (abc bc) (abc ab ) =
= ac(b ) bc(a ) ab(c ) = ac bc ab (1.2)
. 1.7. , (1.2).
a) ; ) -.
().
. , .
() () .
x1 | x2 | f(x1,x2) |
f(0,0) | ||
f(0,1) | ||
f(1,0) | ||
f(1,1) |
x2 | |||
x1 | |||
f(0,0) | f(0,1) | ||
f(1,0) | f(1,1) |
|
|
() c () .
x1 | x2 | x3 | f(x1,x2,x3) |
f(0,0,0) | |||
f(0,0,1) | |||
f(0,1,0) | |||
f(0,1,1) | |||
f(1,0,0) | |||
f(1,0,1) | |||
f(1,1,0) | |||
f(1,1,1) |
) |
x2,x3 | |||||
x1 | |||||
f(0,0,0) | f(0,0,1) | f(0,1,1) | f(0,1,0) | ||
f(1,0,0) | f(1,0,1) | f(1,1,1) | f(1,1,0) |
|
, . , , . , , .
.
, , :
a | b | c | Y | a | b | c | y | ||
:
: .
:
= ac, .
2Ȗ.
.
, , , . , - . 16 10, .
.
.
, Y, 000 111 .
|
|
Y | bc | |||||
a | ||||||
. , . , , . 1.8,.
: 2 2. (. 1.9.)
. 1.9. .