å�‰æž—大学离散数学课å�Žä¹ é¢˜ç­”案 - 百度文库 ÏÂÔØ±¾ÎÄ

b£®RQ c£®£¨QR£©£¨RQ£© d£®£¨RQ£©

½â£º aΪ£ºÎÒÉϽֵ±ÇÒ½öµ±ÎÒÓÐʱ¼ä²¢ÇÒÌì²»ÏÂÑ©£» bΪ£ºÎÒÓÐʱ¼ä²¢ÇÒÉϽÖÁË£»

cΪ£ºÎÒÉϽÖÁ˵±ÇÒ½öµ±ÎÒÓÐʱ¼ä£» dΪ£ºÎÒÿʱ¼äÓÖûÉϽ֡£

2. ˵³öÏÂÊöÿһÃüÌâµÄÄæÃüÌâºÍÄæ·ñÃüÌ⣺ £¨1£© Èç¹ûÌìÏÂÓ꣬ÎÒ½«²»È¥¡£ £¨2£© ½öµ±ÄãÈ¥ÎÒ½«¶ºÁô¡£

nnn

£¨3£© Èç¹ûnÊÇ´óÓÚ2µÄÕýÕûÊý£¬Ôò·½³Ìx+y=zÎÞÕýÕûÊý½â¡£ £¨4£© Èç¹ûÎÒ²»»ñµÃ¸ü¶à°ïÖú£¬ÎÒ²»ÄÜÍê³ÉÕâ¸öÈÎÎñ¡£

½â£º £¨1£©ÄæÃüÌâΪ£ºÈç¹ûÎÒ²»È¥£¬ÄÇôÌìÏÂÓê£»Äæ·ñÃüÌâΪ£ºÈç¹ûÎÒÈ¥£¬ÄÇôÌì²»ÏÂÓê¡£

£¨2£©ÄæÃüÌâΪ £º½öµ±ÎÒ½«¶ºÁôÄãÈ¥£»Äæ·ñÃüÌâΪ£ºÄ㲻ȥÎÒ½«²»¶ºÁô¡£

nnn

£¨3£©ÄæÃüÌâΪ£ºÈç¹û·½³Ìx+y=zÎÞÕýÕûÊý½â£¬ÔònÊÇ´óÓÚ2µÄÕýÕûÊý£»Äæ·ñÃüÌâΪ£ºÈç

nnn

¹û·½³Ìx+y=zÓÐÕýÕûÊý½â£¬ÔònÊDz»´óÓÚ2µÄÕýÕûÊý¡£

(4)ÄæÃüÌâΪ£ºÎÒ²»ÄÜÍê³ÉÕâ¸öÈÎÎñ£¬ÒòΪÎÒûÓлñµÃ¸ü¶à°ïÖú¡£Äæ·ñÃüÌ⣺Èç¹ûÎÒÍê³ÉÁËÈÎÎñ£¬ÔòÎÒ»ñµÃÁ˸ü¶à°ïÖú¡£

3. ¸øPºÍQÖ¸ÅÉÕæÖµ1£¬¸øRºÍSÖ¸ÅÉÕæÖµ0£¬Çó³öÏÂÃæÃüÌâµÄÕæÖµ£º a) (P(QR))((PQ)(RS)) b) ((PQ)R)(((PQ)R)S) c) ((PQ)R)((QP)(RS)) d) (P(Q(RP)))(QS) ½â£º

a)ÁîG= (P(QR))((PQ)(RS)) Ôò£ºTI(G) = (1(10))((11)(00)) = 00=1 b)ÁîG=((PQ)R)(((PQ)R)S) Ôò£ºTI (G) = ((11)0)(((11)0)0) = 10=1 c) ÁîG =((PQ)R)((QP)(RS)) =((PQ)R)( ( (QP) (P Q)) (RS)) =(PQR)( (QP) (P Q) (RS)) Ôò£º

TI (G) =(110)( (11) (1 1) (00)) = 11=1 d) ÁîG =(P(Q(RP)))(QS) =(P(Q(RP)))(QS) =(P(Q(RP)))(QS)

=( (P(Q(RP))) (QS)) ( (QS) (P(Q(RP))))

=( P (Q (RP))) (QS)) (( QS)

(P(Q(RP))))

TI (G) =( 1 (1 (01))) (1

(1(1(01))))

=1 1=1

0)) ((10)

2.3.2 ϰÌâ2.1½â´ð

1. ¹¹³ÉÏÂÁй«Ê½µÄÕæÖµ±í£º (1) Q£¨PQ£©P

(2) £¨PQR£©£¨PQ£©£¨PR£© (3) (PQ QR£© P R (4)£¨£¨ P P Q£© R£© Q R

½â£º £¨1£©ÉèG= Q£¨PQ£©P£¬ÆäÕæÖµ±íÈçÏ£º P 0 0 1 1 P 0 0 0 0 P 0 0 0 0 P 0 0 0 0 Q 0 1 0 1 Q 0 0 1 1 Q 0 0 1 1 Q 0 0 1 1 G 1 0 1 1 R 0 1 0 1 QR 0 1 0 1 R 0 1 0 1 G 0 0 0 0 R) PG 0 0 1 0 G 1 0 1 1 P 1 1 1 1 P 1 1 1 1 P 1 1 1 1 Q 0 0 1 1 Q 0 0 1 1 Q 0 0 1 1 R 0 1 0 1 R 0 1 0 1 R 0 1 0 1 G 1 0 1 0 G 1 1 1 0 G 1 0 1 1 £¨2£© ÉèG=£¨PQR£©£¨PQ£©£¨PR£©£¬ÆäÕæÖµ±íÈçÏ£º £¨3£©ÉèG=(PQ R£¬ÆäÕæÖµ±íÈçÏ£º £¨4£©ÉèG=£¨£¨ P P Q£© R£© Q R£¬ÆäÕæÖµ±íÈçÏ£º

2. Ö¸³öÏÂÁй«Ê½ÄÄЩÊǺãÕæµÄÄÄЩÊǺã¼ÙµÄ£º (1)P£¨P Q£©Q

(2)£¨P Q£©£¨PQ£©

(3)£¨P Q£© £¨QR£©£¨P R £© (4)£¨P Q£©£¨P QP Q£©

½â£º£¨1£©ÊǺãÕæµÄ£¬£¨2£©ÊǺãÕæµÄ£¬£¨3£©ÊǺãÕæµÄ£¬£¨4£©ÊÇ¿ÉÂú×ãµÄ¡£

3. ¶ÔPºÍQµÄËùÓÐÖµ£¬Ö¤Ã÷P QÓëPQÓÐͬÑùµÄÕæÖµ¡£Ö¤Ã÷£¨P Q£©£¨PQ£©ÊǺãÕæµÄ¡£

½â£º ¶ÔP QµÄÈÎÒâ½âÊÍI£¬ÈôIʹP QÎªÕæ£¬ÔòIʹPΪ¼Ù»òPºÍQÍ¬Ê±ÎªÕæ£¬ÈôIʹPΪ¼Ù£¬ÔòʹP£¬´ËʱPQÎªÕæ£¬ÈôIʹPºÍQÍ¬Ê±ÎªÕæ£¬ÔòQÎªÕæ£¬´ËʱPQÎªÕæ£¬Ò²¾ÍÊÇ˵P QÎªÕæÊ±PQÎªÕæ¡£ÈôIʹP QΪ¼Ù£¬ÔòIʹPÎªÕæQΪ¼Ù£¬´ËʱPQΪ¼Ù£¬Ò²¾ÍÊÇ˵P QΪ¼ÙʱPQΪ¼Ù¡£×ÛÉÏÖªP QÓëPQÍ¬ÕæÍ¬¼Ù£¬Óɶ¨ÒåÖª£¨P Q£©£¨PQ£©ÊǺãÕæµÄ¡£

4.ÅжÏÏÂÁй«Ê½ÊǺãÕæ£¿ºã¼Ù£¿¿ÉÂú×㣿 a) (P(QR))(P(QR))£» b) P(P(QP))£» c) (QP)(PQ)£» d) (PQ)(PQ)¡£

½â£º £¨1£©ÉèG=(P(QR))(P(QR)) =(P(QR)) (P (QR))

=(((P( QR)) P) ((P(QR)) QR)

=((PP)( PQR)) ((P(QR)) QR) =((PP)( PQR)) ((PQ) (PR)QR) =((PP)( PQR)) (((PQ) Q) ((PR)

R))

=( PQR) (P QR)£¬ÆäÕæÖµ±íÈçÏ£º P 0 0 0 0 Q 0 0 1 1 R 0 1 0 1 G 1 0 0 0 P 1 1 1 1 Q 0 0 1 1 R 0 1 0 1 G 0 0 0 1 Òò´ËGÊÇ¿ÉÂú×ãµÄ¡£

£¨2£©ÉèG= P(P(QP)) =P( P(QP)) =P P =T

ÆäÕæÖµ±íÈçÏ£º P 0 0 1 1

Q 0 1 0 1 G 1 1 1 1 Òò´ËGÊǺãÕæµÄ¡£ (3) G=(QP)(PQ) =(Q P) (PQ) =(PQ) (PQ) =F

ÆäÕæÖµ±íÈçÏ£º P Q G 0 0 0 0 1 0 1 0 0 1 1 0 Òò´ËGÊǺã¼ÙµÄ¡£ (4) G=(PQ)(PQ)

=(PQ) ((PQ) ( QP))

=(PQ) ((P Q) ( QP)) =( PQ) (PQ) ( PQ) ÆäÕæÖµ±íÈçÏ£º P Q G 0 0 0 0 1 1 1 0 1 1 1 1 Òò´ËGÊÇ¿ÉÂú×ãµÄ¡£

2.3.3 ϰÌâ2.3½â´ð

1.Ö¤Ã÷ÏÂÃæµÄµÈ¼Ûʽ£º

(1) (P(QR))(QR)(PR)=R (2) P(QP)=P(PQ) (3) P(QR)=(PQ)(PR) (4) (PQ)(RQ)=(PR)Q

(1)Ö¤Ã÷£º(P(QR))(QR)(PR)

=(((P(QR)) Q) ((P(QR)) =((((PQ) (R Q)) ((P R) R)) =((PQ) (R Q) R) (PR) =((PQ) R) (PR)

=(P R) (Q R) (PR) =R(PP) (Q R) =R µÃÖ¤¡£

(2) Ö¤Ã÷£º×ó±ß= P(QP)

= P (Q P) = P Q P = PP Q =T

ÓÒ±ß=P(PQ) =PP Q =T

¿ÉÓУº×ó±ß=Óұߣ¬µÃÖ¤

(P(PR) R) R) )