. . ' ' ( ) .
:
. , ( , ) - ( ) . ( ) , - . , . . , , .
, . . : . , . ( ) .
( ) . : . P' Q' . P' Q' . , . : ( ) ( ) , .
: P' Q' .
: ( ) ( ) , ( , ) ( , , ) .
: ( / ) ( / ) , ( , ) ( , , ) .
, , . , « » . . , . , , : .
: , . , . ( - . )
. ,
( ) . . ( ) . , . , , , . .
. , . , , . , , . . . - , . ( ) . ( ) .
( ) , . :
, ( ) . , , , .
: , .
. , , . , . , . .
, . . , , , : , , , , : , , .
, :
, . , ( ) : , .