,
:
6 10- .
( 1).
:
1. : , , , , .
2. .
3. .
.
, - | |||||
, | , | ||||
.
.
.
.
, . =1 , =0 .
, , .
:
(2*2=4).
(2*2=5).
:
1. .
2. .
AND.
OR.
NOT.
.
Ȕ OR :
A | B | A OR B |
Ȕ AND :
A | B | A AND B |
Ŕ NOT :
A | Not A |
:
A | B | A -> B |
, () , ( ) ( )
|
|
:
A | B | A <-> B |
, , , , .
, ,
:
A AND B OR C AND A
A & B OR C & A
A ^ B OR C ^ A
, :
1. - . n=
2. , m=2n
3. - k=
4. - k 2=n+k=
5. .
6. , :
, , .
A | B | C | A and B | C and A | A and B or C and A |
.
.
F(x1, x2, xn) , 0, 1. .
.
2- 4 : 00, 01, 10, 11.
N = 24 = 16 .
:
A = A
A & not A = 0
A and not A = 1
Not (not A) =1
Not (A & B) = not A or not B
Not (A or B) = not A & not B
:
A & B = B & A
A or B = B or A
(A & B) & C = A & (B & C)
(A or B) or C = A or (B or C)
(A & B) OR (A & C) = A & (B OR C)
(A or B) & (A or C) = A or (B & C)
A or A = A
A & A = A