µÚÒ»Õ²¿·Ö¿ÎºóϰÌâ²Î¿¼´ð°¸
16 Éèp¡¢qµÄÕæÖµÎª0£»r¡¢sµÄÕæÖµÎª1£¬ÇóÏÂÁи÷ÃüÌ⹫ʽµÄÕæÖµ¡£ £¨1£©p¡Å(q¡Är)? 0¡Å(0¡Ä1) ?0
£¨2£©£¨p?r£©¡Ä(¦èq¡Ås) ?£¨0?1£©¡Ä(1¡Å1) ?0¡Ä1?0.
£¨3£©£¨?p¡Ä?q¡Är£©?(p¡Äq¡Ä¦èr) ?£¨1¡Ä1¡Ä1£© ? (0¡Ä0¡Ä0)?0 (4)£¨?r¡Äs£©¡ú(p¡Ä?q) ?£¨0¡Ä1£©¡ú(1¡Ä0) ?0¡ú0?1
17£®ÅжÏÏÂÃæÒ»¶ÎÂÛÊöÊÇ·ñÎªÕæ£º¡°?ÊÇÎÞÀíÊý¡£²¢ÇÒ£¬Èç¹û3ÊÇÎÞÀíÊý£¬Ôò2Ò²ÊÇÎÞÀíÊý¡£ÁíÍâ6Äܱ»2Õû³ý£¬6²ÅÄܱ»4Õû³ý¡£¡±
´ð£ºp: ?ÊÇÎÞÀíÊý 1 q: 3ÊÇÎÞÀíÊý 0 r:
2ÊÇÎÞÀíÊý 1
s: 6Äܱ»2Õû³ý 1
t: 6Äܱ»4Õû³ý 0
ÃüÌâ·ûºÅ»¯Îª£º p¡Ä(q¡úr)¡Ä(t¡ús)µÄÕæÖµÎª1£¬ËùÒÔÕâÒ»¶ÎµÄÂÛÊöÎªÕæ¡£ 19£®ÓÃÕæÖµ±íÅжÏÏÂÁй«Ê½µÄÀàÐÍ£º £¨4£©(p¡úq) ¡ú(?q¡ú?p) £¨5£©(p¡Är) ?(?p¡Ä?q) £¨6£©((p¡úq) ¡Ä(q¡úr)) ¡ú(p¡úr)
´ð£º £¨4£©
p q p¡úq ?q ?p ?q¡ú?p (p¡úq)¡ú(?q¡ú?p) 0 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 ËùÒÔ¹«Ê½ÀàÐÍΪÓÀÕæÊ½
£¨5£©¹«Ê½ÀàÐÍΪ¿ÉÂú×ãʽ£¨·½·¨ÈçÉÏÀý£© £¨6£©¹«Ê½ÀàÐÍΪÓÀÕæÊ½£¨·½·¨ÈçÉÏÀý£©
µÚ¶þÕ²¿·Ö¿ÎºóϰÌâ²Î¿¼´ð°¸
3.ÓõÈÖµÑÝËã·¨ÅжÏÏÂÁй«Ê½µÄÀàÐÍ£¬¶Ô²»ÊÇÖØÑÔʽµÄ¿ÉÂú×ãʽ£¬ÔÙÓÃÕæÖµ±í·¨Çó³ö³ÉÕæ¸³Öµ.
1
(1) ?(p¡Äq¡úq) (2)(p¡ú(p¡Åq))¡Å(p¡úr) (3)(p¡Åq)¡ú(p¡Är)
´ð£º(2)£¨p¡ú(p¡Åq)£©¡Å(p¡úr)?(?p¡Å(p¡Åq))¡Å(?p¡År)??p¡Åp¡Åq¡År?1
ËùÒÔ¹«Ê½ÀàÐÍΪÓÀÕæÊ½
(3) P q r p¡Åq p¡Är £¨p¡Åq£©¡ú(p¡Är)
0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1
ËùÒÔ¹«Ê½ÀàÐÍΪ¿ÉÂú×ãʽ
4.ÓõÈÖµÑÝËã·¨Ö¤Ã÷ÏÂÃæµÈֵʽ£º (2)(p¡úq)¡Ä(p¡úr)?(p¡ú(q¡Är))
(4)(p¡Ä?q)¡Å(?p¡Äq)?(p¡Åq) ¡Ä?(p¡Äq) Ö¤Ã÷£¨2£©(p¡úq)¡Ä(p¡úr)
? (?p¡Åq)¡Ä(?p¡År) ??p¡Å(q¡Är)) ?p¡ú(q¡Är)
£¨4£©(p¡Ä?q)¡Å(?p¡Äq)?(p¡Å(?p¡Äq)) ¡Ä(?q¡Å(?p¡Äq)
?(p¡Å?p)¡Ä(p¡Åq)¡Ä(?q¡Å?p) ¡Ä(?q¡Åq) ?1¡Ä(p¡Åq)¡Ä?(p¡Äq)¡Ä1 ?(p¡Åq)¡Ä?(p¡Äq)
5.ÇóÏÂÁй«Ê½µÄÖ÷ÎöÈ¡·¶Ê½ÓëÖ÷ºÏÈ¡·¶Ê½£¬²¢Çó³ÉÕæ¸³Öµ
(1)(?p¡úq)¡ú(?q¡Åp) (2)?(p¡úq)¡Äq¡Är
(3)(p¡Å(q¡Är))¡ú(p¡Åq¡År) ½â£º
£¨1£©Ö÷ÎöÈ¡·¶Ê½
(?p¡úq)¡ú(?q?p)
2
??(p?q)?(?q?p)
?(?p??q)?(?q?p)
? (?p??q)?(?q?p)?(?q??p)?(p?q)?(p??q) ? (?p??q)?(p??q)?(p?q) ?m0?m2?m3
?¡Æ(0,2,3)
Ö÷ºÏÈ¡·¶Ê½£º
(?p¡úq)¡ú(?q?p)
??(p?q)?(?q?p) ?(?p??q)?(?q?p)
?(?p?(?q?p))?(?q?(?q?p)) ?1?(p??q) ?(p??q) ? M1 ?¡Ç(1) (2) Ö÷ºÏÈ¡·¶Ê½Îª£º
?(p¡úq)?q?r??(?p?q)?q?r ?(p??q)?q?r?0 ËùÒÔ¸ÃʽΪì¶Üʽ.
Ö÷ºÏÈ¡·¶Ê½Îª¡Ç(0,1,2,3,4,5,6,7) ì¶ÜʽµÄÖ÷ÎöÈ¡·¶Ê½Îª 0 (3)Ö÷ºÏÈ¡·¶Ê½Îª£º
(p?(q?r))¡ú(p?q?r)
??(p?(q?r))¡ú(p?q?r)
?(?p?(?q??r))?(p?q?r)
?(?p?(p?q?r))?((?q??r))?(p?q?r))
?1?1 ?1
ËùÒÔ¸ÃʽΪÓÀÕæÊ½.
ÓÀÕæÊ½µÄÖ÷ºÏÈ¡·¶Ê½Îª 1 Ö÷ÎöÈ¡·¶Ê½Îª¡Æ(0,1,2,3,4,5,6,7)
3
µÚÈýÕ²¿·Ö¿ÎºóϰÌâ²Î¿¼´ð°¸
14. ÔÚ×ÔÈ»ÍÆÀíϵͳPÖй¹ÔìÏÂÃæÍÆÀíµÄÖ¤Ã÷£º (2)ǰÌ᣺p?q,?(q?r),r ½áÂÛ£º?p
(4)ǰÌ᣺q?p,q?s,s?t,t?r
½áÂÛ£ºp?q
Ö¤Ã÷£º£¨2£©
¢Ù?(q?r) ǰÌáÒýÈë ¢Ú?q??r ¢ÙÖû»
¢Ûq??r ¢ÚÔ̺¬µÈֵʽ
¢Ür ǰÌáÒýÈë ¢Ý?q ¢Û¢Ü¾Üȡʽ ¢Þp?q ǰÌáÒýÈë ¢ß©Vp£¨3£© ¢Ý¢Þ¾Üȡʽ
Ö¤Ã÷£¨4£©£º
¢Ùt?r ¢Út ¢Ûq?s ¢Üs?t ¢Ýq?t
ǰÌáÒýÈë ¢Ù»¯¼òÂÉ Ç°ÌáÒýÈë ǰÌáÒýÈë
¢Û¢ÜµÈ¼ÛÈý¶ÎÂÛ4