·¢²¼Ê±¼ä : ÐÇÆÚÁù ÎÄÕÂÊýÀíÂß¼²¿·Ö¸üÐÂÍê±Ï¿ªÊ¼ÔĶÁfdbe5d29cfc789eb172dc8c7
ÊýÀíÂß¼²¿·Ö
Ò»¡¢ Ìî¿ÕÌâ
1¡¢½«¼¸¸öÃüÌâÁª½áÆðÀ´£¬ÐγÉÒ»¸ö¸´ºÏÃüÌâµÄÂß¼Áª½á´ÊÖ÷ÒªÓÐ ¡¢ ¡¢ ¡¢ ºÍ ¡£ 2¡¢ÃüÌ⹫ʽG=£¨P?Q£©?R£¬ÔòG¹²ÓÐ ¸ö²»Í¬µÄ½âÊÍ£»°ÑGÔÚÆäËùÓнâÊÍÏÂËù
È¡ÕæÖµÁгÉÒ»¸ö±í£¬³ÆΪGµÄ £»½âÊÍ£¨?P£¬Q£¬?R£©»ò£¨0£¬1£¬0£©Ê¹GµÄÕæֵΪ ¡£ 3¡¢ ÒÑÖªÃüÌ⹫ʽG?(?P?Q)?R£¬ÔòGµÄÖ÷ÎöÈ¡·¶Ê½ÊÇ ¡£
4¡¢ Çó¹«Ê½?(P?Q)?(P?Q)µÄÎöÈ¡·¶Ê½
ºÏÈ¡·¶Ê½ÊÇ ¡£
5¡¢ ÉèÃüÌ⹫ʽG?P??(Q?R)£¬Ôòʹ¹«Ê½GΪ¼ÙµÄ½âÊÍÊÇ ¡¢ ºÍ ¡£
6¡¢ÉèF(x):xÊǻ𳵣¬G?y?:yÊÇÆû³µ£¬H(x,y):x±Èy¿ì£¬Ôò¡°Ã¿ Ò»Áл𳵶¼±ÈijЩÆû³µ¿ì¡£¡±¿É·ûºÅ»¯Îª
7¡¢½«¹«Ê½»¯³ÉµÈ¼ÛµÄÇ°Êø·¶Ê½£¬?x(??yP(x,y)?(?zQ(z)?R(x)))? ¡£ 8¡¢Éèν´ÊµÄ¶¨ÒåÓòΪ{a,b,c}£¬½«±í´ïʽ?x(P(x)?Q(x))ÖеÄÁ¿´ÊÏû³ý£¬Ð´³ÉÓëÖ®µÈ¼ÛµÄ
ÃüÌ⹫ʽÊÇ ¡£
¶þ¡¢ µ¥ÏîÑ¡ÔñÌâ 1¡¢ÏÂÁÐÓï¾äÖУ¬£¨ £©ÊÇÃüÌâ¡£
A£®ÏÂÎçÓлáÂ𣿠B£®Õâ¶ä»¨¶àºÃ¿´Ñ½£¡ C£®2Êdz£Êý¡£ D£®Çë°ÑÃŹØÉÏ¡£ 2¡¢Ò»¸ö¹«Ê½ÔڵȼÛÒâÒåÏ£¬ÏÂÃæÄĸöд·¨ÊÇΨһµÄ£¨ £©¡£
A£®ÎöÈ¡·¶Ê½ B£®ºÏÈ¡·¶Ê½ C£®Ö÷ÎöÈ¡·¶Ê½ D£®ÒÔÉϴ𰸶¼²»¶Ô 3¡¢ÉèÃüÌ⹫ʽG?P?(P?(Q?R))£¬ÔòGÊÇ£¨ £©¡£ A. ºã¼ÙµÄ B. ºãÕæµÄ C. ¿ÉÂú×ãµÄ D. ÎöÈ¡·¶Ê½
4¡¢ÉèÃüÌ⹫ʽG?P?Q,H?P?(P?Q)£¬ÔòGÓëHµÄ¹ØϵÊÇ£¨ £©¡£ A.G?H;B.H?G;C.G?H;D.ÒÔÉ϶¼²»ÊÇ¡£
5¡¢ÒÑÖªÃüÌâG??(P?(Q?R))£¬ÔòËùÓÐʹGÈ¡ÕæÖµ1µÄ½âÊÍÊÇ£¨ B £©¡£
A £¨0£¬0£¬0£©£¬£¨0£¬0£¬1£©£¬£¨1£¬0£¬0£©
B £¨1£¬0£¬0£©£¬£¨1£¬0£¬1£©£¬£¨1£¬1£¬0£© C £¨0£¬1£¬0£©£¬£¨1£¬0£¬1£©£¬£¨0£¬0£¬1£© D £¨0£¬0£¬1£©£¬£¨1£¬0£¬1£©£¬£¨1£¬1£¬1£©
6¡¢ÉèIÊÇÈçÏÂÒ»¸ö½âÊÍ£¬D?{a,b},P(a,a)1P(a,b)0P(b,a)1P(b,b)0£¬
ÔòÔÚ½âÊÍIÏÂÈ¡ÕæֵΪ1µÄ¹«Ê½ÊÇ£¨ £©¡£ A.?x?yP(x,y);B.?x?yP(x,y);C.?xP(x,x);D.?x?yP(x,y)
7¡¢ÏÂÃæ¸ø³öµÄÒ»½×Âß¼µÈ¼ÛʽÖУ¬£¨ £©ÊÇ´íµÄ¡£
A.B.C.D.?x(A(x)?B(x))??xA(x)??xB(x);?x(A(x)?B(x))??xA(x)??xB(x);??xA(x)??x(?A(x));A??xB(x)??x(A?B(x)).
Èý¡¢ ¼ÆËãÌâ
1¡¢ ÇóÃüÌ⹫ʽ?£¨P?Q£©?£¨P?Q£©µÄÎöÈ¡·¶Ê½ÓëºÏÈ¡·¶Ê½¡£
2¡¢ÊÔÇóÏÂÁй«Ê½µÄÖ÷ÎöÈ¡·¶Ê½£º
£¨1£©P?((P?Q)??(?Q??P))£»
3¡¢ÓÃÕæÖµ±íÅжÏÏÂÁй«Ê½ÊǺãÕ棿ºã¼Ù£¿¿ÉÂú×㣿
£¨1£©£¨P??P£©?Q £¨2£©?£¨P?Q£©?Q £¨3£©£¨£¨P?Q£©?£¨Q?R£©£©?£¨P?R£© 4¡¢Éè½âÊÍIΪ£º
£¨1£© ¶¨ÒåÓòD={-2£¬3£¬6}£» £¨2£© F£¨x£©£ºx?3£»
G£¨x£©£ºx?5¡£
ÔÚ½âÊÍIÏÂÇó¹«Ê½?x£¨F£¨x£©?G£¨x£©£©µÄÕæÖµ¡£ 5¡¢ÉèIÊÇÈçÏÂÒ»¸ö½âÊÍ£º
D?{2,3},af(2)f(3)F(2)F(3)G(2,2)G(2,3)G(3,2)G(3,3)232011111£¬ÊÔÇóÏÂÁй«
ʽÔÚIϵÄÕæÖµ£º
1)2)?x(F(x)?G(x,a));?x(F(f(x))?G(x,f(x))).
6¡¢ÉèN(x):xÊÇÊý£¬L(x,y):xСÓÚy£¬½«¡°²»´æÔÚ×îСµÄÊý¡£¡±·ûºÅ»¯¡£ ËÄ¡¢ Ö¤Ã÷Ìâ
1. ÀûÓûù±¾µÈ¼Ûʽ֤Ã÷ÏÂÁÐÃüÌ⹫ʽΪºãÕ湫ʽ¡£
£¨£¨P?Q£©?£¨Q?R£©£©?£¨P?R£© £¨£¨P?Q£©??£¨?P?£¨?Q??R£©£©£©?£¨?P??Q£©?£¨?P??R£© 2¡¢ Ö¤Ã÷µÈ¼Ûʽ(?P?(?Q?R))?(Q?R)?(P?R)?R¡£ 3¡¢ ÓÃÐÎʽÑÝÒï·¨Ö¤Ã÷£º{?P?Q,?Q?R,R?S}Ô̺P?S
4¡¢ ÀûÓÃÒ»½×Âß¼µÄ»ù±¾µÈ¼Ûʽ£¬Ö¤Ã÷£º
?x?y£¨F£¨x£©?G£¨y£©£©=?xF£¨x£©??yG£¨y£©