: .
() 1, 2,,n () . () () () . : - ( ) - ( ) . , , .
, . : - ( ) , - ( ) .
, (X1 ÙØ X2 Ù 3)Ú(1 Ù 3)ÚØ 2 ( ) 1, 2, 3, (1 ÚØ 2)Ù(Ø 1 Ú 2)Ù(Ø 1 ÚØ 2) 1 2.
, :
1) , Ø, Ù Ú : X Y ºØ X Ú Y, X Y º (ØX Ú Y)Ù(Ø Y Ú X);
2) , : Ø(X Ú Y) ºØ X ÙØ Y, Ø(X Ù Y)ºØ X ÚØ Y;
3) (X Ú Y)ÙZº(X Ù Z)Ú(Y ÙZ), ;
4) : ØØ º .
1.1.
Ø(X Ú Z)Ù(X Y) .
. , :
Ø( Ú Z)Ù(XY)º (Ø X ÙØ Z)Ù(Ø X Ú Y)ºØ X Ù(ØZÙ(Ø X Ú Y))º Ø X Ù((ØZÙØ X)Ú(ØZÙ Y))º(Ø X ÙØ Z ÙØ X)Ú(Ø X Ù Y ÙØ Z) º(Ø X ÙØ Z)Ú(Ø X Ù Y ÙØ Z).
1.2.
1.1 .
. , , , 3) () : (X Ù Y)Ú Z º( Ú Z)Ù(Y Ú Z).
|
|
:
Ø( Ú Z)Ù(XY)º(Ø X ÙØ Z)Ù(Ø X Ú Y)º(Ø X ÙØZ)Ú(Ø X Ù Y ÙØ Z)º((Ø X ÙØ Z)ÚØ X)Ù
Ù((Ø X ÙØ Z)Ú Y)Ù((Ø X ÙØ Z)ÚØZ)ºØ X Ù((Ø X Ú Y)Ù(Ø Z Ú Y))ÙØ Z ºº(Ø X Ù(Ø X Ú Y))Ù((Ø Z Ú Y)ÙØ Z)ºØ X ÙØ Z.
1.3.
, 1.1
. , - (. 1.1). , , , . - , , Xi ÚØ Xi Xi Ø Xi ( ). , . , , .
, , 1.1:
Ø( Ú Z)Ù(X Y)º(Ø X ÙØ Z) Ú (Ø X Ù Y ÙØ Z)º((Ø X ÙØ Z)Ù(Y ÚØ Y))Ú(Ø X Ù Y ÙØ Z)º º(Ø X ÙØ Z Ù Y)Ú(Ø X ÙØ Z ÙØ Y)Ú(Ø X Ù Y ÙØ Z) º(Ø X Ù Y ÙØ Z)Ú(Ø X ÙØ Z ÙØ Y).
1.4.
, 1.2.
. . - , , , ( ) , Xi ÙØ Xi Xi Ø Xi. , . , .
, , 1.2:
Ø( Ú Z)Ù(X Y)ºØ X ÙØ Z º(Ø X Ú(Y ÙØ Y))Ù(Ø Z Ú(X ÙØ X))º(Ø X Ú Y)Ù(Ø X ÚØ Y)Ù
|
|
Ù(X ÚØ Z)Ù(Ø X ÚØ Z)º(Ø X Ú Y Ú(Z ÙØ Z))Ù(Ø X ÚØ Y Ú(Z ÙØ Z))Ù(X ÚØ Z Ú(Y ÙØ Y))Ù
Ù(Ø X ÚØ Z Ú(Y ÚØ Y))º(Ø X Ú Y Ú Z)Ù(Ø X Ú Y ÚØ Z)Ù(Ø XÚ Ø YÚZ)Ù(Ø X ÚØ Y ÚØ Z)Ù Ù(XÚYÚ Ø Z)Ù(X ÚØ Y ÚØ Z)Ù(Ø X Ú Y ÚØ Z)Ù(Ø XÚ Ø YÚ Ø Z)º º(Ø X Ú Y Ú Z)Ù(Ø X Ú Y ÚØ Z)Ù(Ø X ÚØ Y Ú Z)Ù(Ø XÚ Ø YÚ Ø Z)Ù(XÚYÚ Ø Z)Ù(X ÚØ Y ÚØ Z).
1.4. .
, , .
: , - .
, , - .
, , , , , , .
1.5.
, F =(P Q) ((R Ú P) (R Ú Q)) .
, :
(P Q)((R Ú P)(R Ú Q))ºØ(P Q)Ú((R Ú P) (R Ú Q))º (P ÙØ Q)ÚØ(R Ú P)Ú Ú(R Ú Q) º (P ÙØ Q) Ú(Ø R ÙØ P) Ú(R Ú Q) º (P ÚØ R)Ù (P Ú Ø P) Ù(Ø Q ÚØ R)Ù
Ù(Ø Q ÚØ P)Ú(R Ú Q)º (P ÚØ R)Ù(Ø Q ÚØ R)Ù(Ø Q ÚØ P)Ú(R Ú Q) º º (P ÚØ R Ú R Ú Q)Ù(Ø Q ÚØ R Ú R Ú Q)Ù(Ø Q ÚØ P Ú R Ú Q).
R Ø R. Q Ø Q, R Ø R. Q Ø Q. , , .
, :
1) ;
2) .
1.6.
, : F (P, Q) = (P Ù(P Q)) Q.
1) , :
(P Ù(P Q)) Q º(P Ù(Ø P Ú Q)) Q ºØ(P Ù(Ø P Ú Q)Ú Q º º Ø P ÚØ(Ø P Ú Q))Ú Q º Ø P Ú(P ÙØ Q)Ú Q º (Ø P Ú Q)Ú(P ÙØ Q)º º (Ø P Ú Q Ú P)Ù(Ø P Ú Q Ú Ø Q).
|
|
P Ø P. Q Ø Q, , F (P, Q) º 1.
2) F (P, Q) ( 2).
2
P | Q | P Q | P Ù(P Q) | (P Ù(P Q)) Q |
2 , F (P, Q) º 1.