- , , , , 1854 . . .
, - , , .
: , .
: , . , ; ; , .
, , . , {0, 1} { (True), (False)}.
, ={0,1} , . , 0 1; 0 1 , (False) (True).
- , 0 1; .
, ()
1
.. | Y | {XY|X^Y} | {X+Y|X\/Y} | {X'X} |
() | () | () |
, : (AND), (OR) (NOT) , .
, {|^} . 1 ().
, {+|\/} . 1 ().
(), {|} . 1 (); . 1 () .
, ={0,1}, { , , } , . 3.
- (), .
|
|
(. 1), , F(x1, x2,..., ) - .
F- (. 2) 6 ; , , .
. 1.
2 F-
1 | 2 | .... | n-1 | n | F(1, 2,, n) |
.... | F(0,0,,0,0) | ||||
.... | F(0,0,...,0,1) | ||||
.... | F(0,0,....,1,0) | ||||
.... | .... | .... | .... | .... | .... |
F(1,1, ,1,1) |
, ; , . , .
, , . : , .