(2 )
: , ; . .
: , , .
( , ) , , ( ) .
- , , .. .
, , "7 " , . " " , .
. , , " 75 . ." , . . , .
"", "", "", "..., ", " " . .
, , . , , .
, " ", " " "" " ".
.
, . " ", " ". " , " . " " , , .
, "" "", , , "1" "0".
|
|
.
, , . " ".
, "", .
, "", (. conjunctio ) & ( *).
, "", (. disjunctio ) V +. V , .
- .
"..., ", "... ", "... ...", (. implico ) →. →B= V
, , . " ", " ", "... ...", ↔ ~. A↔B , . ↔ = =( V )& (B V A).
: , , , , .
.
, .
:
""("1") ""("0");
: , & , v , →B, ↔ (
).
.
.
, .
N 2N .
, , (22 = 4) : (0, 0), (0, 1), (1, 0), (1, 1).
, (23 = 8): (0, 0, 0), (0, 0, 1), (0, 1, 0), (0, 1, 1),
(1, 0, 0), (1, 0, 1), (1, 1, 0), (1, 1, 1).
( 5.1).
5.1
X | Y | ØX | X & Y | X V Y | X Y | X Y |
|
|
, .
5.1 , x y, x&y v (x v y) v x ( 21.2.2).
, , .
5.2 , x y, x&y v (x v y) v x 1.
, "" , .
, "" , .
5.2 x&y v (x v y) v x.
X | y | x | x&y | x v y | (x v y) | (x v y) v x | x&y v (x v y) v x |
, "", "", .
, , .
, , .