¡¶ÀëÉ¢Êýѧ¡·ÊÔÌâ¼°´ð°¸

·¢²¼Ê±¼ä : ÐÇÆÚÈÕ ÎÄÕ¡¶ÀëÉ¢Êýѧ¡·ÊÔÌâ¼°´ð°¸¸üÐÂÍê±Ï¿ªÊ¼ÔĶÁ

= = (

((x)¡Å(x)¡Ä

(y))¡Å(y))¡Å

(x) (x)

= (x =

P(x)¡ÄyQ(y))¡Å(z)

xyz((P(x)¡ÄQ(y))¡ÅR(z))

9. ÉèRÊǼ¯ºÏA = {a, b, c, d}. RÊÇAÉϵĶþÔª¹Øϵ, R = {(), (), (), ()},

(1) Çó³ör(R), s(R), t(R)£» (2) »­³ör(R), s(R), t(R)µÄ¹Øϵͼ. ½â£º£¨1£©

r(R)£½R¡È£½{(), (), (), (), (), (), (), ()},

s(R)£½R¡ÈR£½{(), (), (), () (), ()},

t(R)£½R¡ÈR¡ÈR¡ÈR£½{(), (), (), (), (), (), (), (), ()}£»

(2)¹Øϵͼ:

11. ͨ¹ýÇóÖ÷ÎöÈ¡·¶Ê½ÅжÏÏÂÁÐÃüÌ⹫ʽÊÇ·ñµÈ¼Û£º

abr(R)dcabs(R)dabt(R)2

3

4

£­1

dcc (1) G = (P¡ÄQ)¡Å(P¡ÄQ¡ÄR)

P¡ÄR))

(2) H = (P¡Å(Q¡ÄR))¡Ä(Q¡Å(½â£º G£½(P¡ÄQ)¡Å(

£½(P¡ÄQ¡Ä

P¡ÄQ¡ÄR)

R)¡Å(P¡ÄQ¡ÄR)¡Å(P¡ÄQ¡ÄR)

£½m6¡Åm7¡Åm3 £½

(3, 6, 7)

H = (P¡Å(Q¡ÄR))¡Ä(Q¡Å(P¡ÄR)) £½(P¡ÄQ)¡Å(Q¡ÄR))¡Å(£½(P¡ÄQ¡Ä(

P¡ÄQ¡ÄR) £½(P¡ÄQ¡Ä£½m6¡Åm3¡Åm7

µÄÖ÷ÎöÈ¡·¶Ê½Ïàͬ£¬ËùÒÔG = H.

13. ÉèRºÍSÊǼ¯ºÏA£½{a, b, c, d}ÉϵĹØϵ£¬ÆäÖÐR£½{(a,

R)¡Å(

P¡ÄQ¡ÄR)¡Å(P¡ÄQ¡ÄR)

P¡ÄQ¡ÄR)

P¡ÄQ¡ÄR)¡Å(P¡ÄQ¡ÄR)¡Å

R)¡Å(P¡ÄQ¡ÄR)¡Å(

a),(a, c),(b, c),(c, d)}, S£½{(a, b),(b, c),(b, d),(d, d)}.

(1) ÊÔд³öRºÍSµÄ¹Øϵ¾ØÕó£» (2) ¼ÆËãR?S, R¡ÈS, R, S?R. ½â£º

£­1

£­1

£­1

(1)

(2)R?S£½{(a, b),(c, d)},

R¡ÈS£½{(a, a),(a, b),(a, c),(b, c),(b, d),(c, d),(d, d)},

R£­1£½{(a, a),(c, a),(c, b),(d, c)}, S£­1?R£­1£½{(b, a),(d, c)}.

ËÄ¡¢Ö¤Ã÷Ìâ

1. ÀûÓÃÐÎʽÑÝÒï·¨Ö¤Ã÷£º{P¡úQ, R¡úS, P¡ÅR}Ô̺­Q¡ÅS¡£ ½â£º

(1) P¡ÅR P (2)

R¡úP Q(1)

(3) P¡úQ P (4) (5)

R¡úQ Q(2)(3) Q¡úR Q(4)

(6) R¡úS P (7)

Q¡úS Q(5)(6)

(8) Q¡ÅS Q(7)

2. ÉèΪÈÎÒ⼯ºÏ£¬Ö¤Ã÷£º() = (B¡ÈC). ½â£º () =

3. (±¾Ìâ10·Ö)ÀûÓÃÐÎʽÑÝÒï·¨Ö¤Ã÷£º{¡úD}Ô̺­A¡úD¡£ ½â£º

(1) A D(¸½¼Ó) (2)

A¡ÅB P

A¡ÅB, C¡úB, C

(3) B Q(1)(2) (4)

C¡ú

B P

(5) B¡úC Q(4) (6) C Q(3)(5) (7) C¡úD P (8) D Q(6)(7) (9) A¡úD D(1)(8) ËùÒÔ {

A¡ÅB,

C¡ú

B, C¡úD}Ô̺­A¡úD.

4. (±¾Ìâ10·Ö)A, BΪÁ½¸öÈÎÒ⼯ºÏ£¬ÇóÖ¤£º A£­(A¡ÉB) = (A¡ÈB)£­B . ½â£º 4. A£­(A¡ÉB)

= A¡É~(A¡ÉB) £½A¡É(¡È)

ÁªÏµºÏͬ·¶ÎÄ¿Í·þ£ºxxxxx#qq.com(#Ì滻Ϊ@)