, , () .
1) <=> A ;
2) A&B <=> B&A ;
3) AVB <=> BVA ;
4) A&(B&C) <=> (A&B)&C ;
5) AV(BVC) <=> (AVB)VC ;
6) A&(BVC) <=> (A&B)V(A&C) ;
7) AV(B&C) <=> (AVB)&(AVC) ;
8) A&A <=> A
9) AVA <=> A
10) AVA <=> ;
11) A&A <=> ;
12) A& <=> A
13) AV <=>
14) A& <=>
15) AV <=> A
16) (A&B) <=> A V B ;
17) (AVB) <=> A & B
18) A => B <=> A V B .
, . , , .
1. , .
2.
.
3. : " , (, , ) ".
:
Y - " ";
M - " ";
B - " ";
C - " ".
.
4. , :
1. " , ";
2. " , ".
:
I - " ";
P - " ";
S - " ".
:
, :
: .
. . Z(X,Y):
X | Y | Z |
0 0 1 1 | 0 1 0 1 | 1 0 1 0 |
, Z (Z=1). : Z(X,Y) = (X& Y)V(X& Y). , ( 1), , , , . . , :
|
|
Z(X,Y) <=> ((X& Y) VX)&((X&Y)V Y) <=> (XV(X& Y)) &(YV(X&Y)) <=> ((XVX)&(XV Y))&((YV X)&(YV Y)) <=> (1&(XV Y))&((YV X)& Y)<=> (XV Y)&((YV X)& Y).
: Z(X,Y). :
, 1.
. .
.
- 0, .