·¢²¼Ê±¼ä : ÐÇÆÚÈÕ ÎÄÕ¡¶ÀëÉ¢Êýѧ¡·ÊÔÌâ¼°´ð°¸¸üÐÂÍê±Ï¿ªÊ¼ÔĶÁ
= = (
((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¡É(¡È)