ÀëÉ¢ÊýѧϰÌâ½â´ð£¨¹¢ËØÔÆÇüÍñÁᣩ±±¾©´óѧ³ö°æÉç

È¥ÕÒ QQÍ·Ïñ http://www.7zhao.net

(?(p?q)?q)?(p?q)?(r?s)?r??p??q?q???p?q???r?s??r?0??p?q???r?s??r?0?r?1½áÂÛ2£º

(?(p?q)?q)?(p?q)?(r?s)?s??p??q?q???p?q???r?s??s?0??p?q???r?s??s?0?s?1½áÂÛ3£º

(?(p?q)?q)?(p?q)?(r?s)?r?s??p??q?q???p?q???r?s??r?s?0??p?q???r?s??r?s?0?r?s?1£¨2£© Ö¤Ã÷£º

ÉèÈκοÉÄܵĽáÂÛΪ*, Ôò£º

(?(p?q)?q)?(p?q)?(r?s)?*??p??q?q???p?q???r?s??*?0??p?q???r?s??*?0?*?1

14.ÔÚ×ÔȻϵͳpÖй¹ÔìÏÂÃæÍÆÀíµÄÖ¤Ã÷£º £¨1£©Ç°Ì᣺p?(q?r)£¬p£¬q ½áÂÛ£ºr?s

£¨2£©Ç°Ì᣺p?q£¬?(q?r)£¬r ½áÂÛ£º?p £¨3£©Ç°Ì᣺p?q ½áÂÛ£ºp?(p?q)

£¨4£©Ç°Ì᣺p?q£¬q?s£¬s?t£¬t?r ½áÂÛ£ºp?q

£¨5£©Ç°Ì᣺p?r£¬q?s£¬s?tt?r ½áÂÛ£ºr?s

£¨6£©Ç°Ì᣺?p?r£¬?q?sp?q

ÎÄÕÂÀ´Ô´£ºhttp://www.7zhao.net

È¥ÕÒ QQÍ·Ïñ http://www.7zhao.net

½áÂÛ£ºt?(r?s)

£¨1£© Ö¤Ã÷

£¨1£© p?(q?r) £¨2£© p £¨3£© q?r £¨4£© q

£¨5£© r £¨6£© r?s

£¨2£© Ö¤Ã÷

?(q?r) £¨1£© £¨2£© ?q??r

£¨3£© r £¨4£© ?q £¨5£© p?q £¨6£© ?p

Ç°ÌáÒýÈë Ç°ÌáÒýÈë £¨1£©£¨2£©¼ÙÑÔÍÆÀí Ç°ÌáÒýÈë (3)(4)¼ÙÑÔÍÆÀí £¨5£©¸½¼Ó Ç°ÌáÒýÈë £¨1£©Öû»

Ç°ÌáÒýÈë £¨2£©£¨3£©ÎöÈ¡Èý¶ÎÂÛ Ç°ÌáÒýÈë £¨4£©£¨5£©¾Üȡʽ

£¨3£© Ö¤Ã÷

£¨1£© p?q Ç°ÌáÒýÈë £¨2£© £¨1£©Öû» ?p?q

(?p?q)?(?p?p) £¨3£© £¨2£©Öû» ?p?(q?p) £¨4£© £¨3£©Öû» £¨5£© p?(p?q) £¨4£©Öû» £¨4£© Ö¤Ã÷

(s?t)?(t?s) Ç°ÌáÒýÈë £¨1£©

£¨2£© £¨1£©Öû» t?s £¨3£© £¨2£©»»¼þ t?r £¨4£© Ç°ÌáÒýÈë t?r £¨5£© £¨4£©»¯¼ò t £¨6£© £¨3£©£¨5£©¼ÙÑÔÍÆÀí s £¨7£© Ç°ÌáÒýÈë q?s

(q?s)?(s?q) £¨7£©Öû» £¨8£© £¨9£© £¨8£©»¯¼ò s?q

£¨10£© q £¨6£©£¨9£©¼ÙÑÔÍÆÀí £¨11£© q?p Ç°ÌáÒýÈë £¨12£© p £¨10£©£¨11£©¼ÙÑÔÍÆÀí £¨13£© p?q £¨10£©£¨12£©ºÏÈ¡

£¨5£© Ö¤Ã÷

£¨1£© p?q £¨2£© p £¨3£© q £¨4£© p?r

£¨5£© r

Ç°ÌáÒýÈë £¨1£©»¯¼ò £¨1£©»¯¼ò Ç°ÌáÒýÈë

£¨2£©£¨4£©¼ÙÑÔÍÆÀí

ÎÄÕÂÀ´Ô´£ºhttp://www.7zhao.net

È¥ÕÒ QQÍ·Ïñ http://www.7zhao.net

£¨6£© q?s

£¨7£© s £¨8£© r?s

£¨6£© Ö¤Ã÷

£¨1£© p?q £¨2£© p £¨3£© q £¨4£© ?p?r

Ç°ÌáÒýÈë

£¨3£©£¨6£©¼ÙÑÔÍÆÀí £¨5£©£¨7£©ºÏÈ¡ Ç°ÌáÒýÈë £¨1£©»¯¼ò £¨1£©»¯¼ò Ç°ÌáÒýÈë

£¨2£©£¨4£©ÎöÈ¡Èý¶ÎÂÛ Ç°ÌáÒýÈë

£¨3£©£¨6£©ÎöÈ¡Èý¶ÎÂÛ £¨5£©£¨7£©ºÏÈ¡ £¨8£©¸½¼Ó £¨9£©Öû»

£¨5£© r £¨6£© ?q?s

£¨7£© s £¨8£© r?s

?t?(r?s) £¨9£©

£¨10£© t?(r?s)

15.ÔÚ×ÔÈ»ÍÆÀïϵͳpÖÐÓø½¼ÓÇ°Ìá·¨Ö¤Ã÷ÏÂÃæ¸÷ÍÆÀí£º £¨1£©Ç°Ì᣺p?(q?r)£¬s?p£¬q ½áÂÛ£ºs?r

£¨2£©Ç°Ì᣺(p?q)?(r?s)£¬(s?t)?u ½áÂÛ£ºp?u

£¨1£© Ö¤Ã÷

£¨1£© s £¨2£© s?p £¨3£© p £¨4£© p?(q?r) £¨5£© q?r £¨6£© q £¨7£© r

£¨2£© Ö¤Ã÷

£¨1£© p £¨2£© p?q

(p?q)?(r?s) £¨3£©

£¨4£© r?s £¨5£© s £¨6£© s?t

(s?t)?u £¨7£©

¸½¼ÓÇ°ÌáÒýÈë Ç°ÌáÒýÈë £¨1£©£¨2£©¼ÙÑÔÍÆÀí Ç°ÌáÒýÈë £¨3£©£¨4£©¼ÙÑÔÍÆÀí Ç°ÌáÒýÈë

£¨5£©£¨6£©¼ÙÑÔÍÆÀí ¸½¼ÓÇ°ÌáÒýÈë £¨1£©¸½¼Ó Ç°ÌáÒýÈë

£¨2£©£¨3£©¼ÙÑÔÍÆÀí £¨4£©»¯¼ò £¨5£©¸½¼Ó Ç°ÌáÒýÈë

£¨8£© £¨6£©£¨7£©¼ÙÑÔÍÆÀí u

16.ÔÚ×ÔÈ»ÍÆÀíϵͳpÖÐÓùéÃý·¨Ö¤Ã÷ÏÂÃæÍÆÀí£º £¨1£©Ç°Ì᣺p??q£¬?r?qr??s ½áÂÛ£º?p

£¨2£©Ç°Ì᣺p?q£¬p?r£¬q?s ½áÂÛ£ºr?s

ÎÄÕÂÀ´Ô´£ºhttp://www.7zhao.net

È¥ÕÒ QQÍ·Ïñ http://www.7zhao.net

£¨1£© Ö¤Ã÷

£¨1£© p £¨2£© p??q £¨3£© ?q £¨4£© ?r?q £¨5£© ?r £¨6£© r??s £¨7£© r £¨8£© ?r?r

£¨2£© Ö¤Ã÷

?(r?s) £¨1£©

½áÂÛ·ñ¶¨ÒýÈë Ç°ÌáÒýÈë £¨2£©£¨1£©¼ÙÑÔÍÆÀí Ç°ÌáÒýÈë

£¨3£©£¨4£©ÎöÈ¡Èý¶ÎÂÛ Ç°ÌáÒýÈë £¨6£©»¯¼ò £¨5£©£¨7£©ºÏÈ¡ ½áÂÛ·ñ¶¨ÒýÈë

£¨2£© (1)Öû» ?r??s

£¨3£© £¨2£©»¯¼ò ?r £¨4£© £¨2£©»¯¼ò ?s

£¨5£© p?r Ç°ÌáÒýÈë £¨6£© £¨3£©£¨5£©¾Üȡʽ ?p £¨7£© Ç°ÌáÒýÈë q?s £¨8£© £¨4£©£¨7£©¾Üȡʽ ?q £¨9£© £¨9£©Öû» ?p??q

£¨10£© q?p Ç°ÌáÒýÈë £¨11£© ?(p?q)?(p?q) £¨10£©£¨11£©ºÏÈ¡

17.ÔÚ×ÔȻϵͳpÖй¹ÔìÏÂÃæÍÆÀíµÄÖ¤Ã÷£º

Ö»ÒªAÔøµ½¹ýÊܺ¦Õß·¿¼ä²¢ÇÒ11µãǰûÀ뿪£¬A¾Í·¸ÁËıɱ×ï¡£AÔøµ½¹ýÊܺ¦Õß·¿¼ä£¬ Èç¹ûAÔÚ11µãÒÔÇ°À뿪£¬¿´ÃÅÈ˻ῴ¼ûËû¡£¿´ÃÅÈËûÓп´¼ûËû£¬ËùÒÔA·¸ÁËıɱ×ï¡£ Éè

p:Aµ½¹ýÊܺ¦Õß·¿¼ä q:AÔÚ11µãÇ°À뿪 r:AÊÇıɱÏÓÒÉ·¸ s:¿´ÃÅÈË¿´¼ûA

Ç°Ì᣺(p??q)?r,p,q?s,?s ½áÂÛ£ºr Ö¤Ã÷

£¨1£©

£¨2£© £¨3£© £¨4£© £¨5£© £¨6£© £¨7£©

q?s

?s ?q

Ç°ÌáÒýÈë Ç°ÌáÒýÈë £¨2£©£¨1£©¾Üȡʽ Ç°ÌáÒýÈë £¨3£©£¨4£©ºÏÈ¡ Ç°ÌáÒýÈë

£¨5£©£¨6£©¼ÙÑÔÍÆÀí

(p??q)?r r

p

p??q

18.ÔÚ×ÔȻϵͳpÖй¹ÔìÏÂÃæ¸÷ÍÆÀíµÄÖ¤Ã÷£º

(1)Èç¹û½ñÌìÊÇÐÇÆÚÁù£¬ÎÒÃǾÍҪȥÒúÍÔ°»òÔ²Ã÷Ô°Íæ¡£Èç¹ûÒúÍÔ°ÓÎÈËÌ«¶à£¬ÎÒÃǾͲ»È¥ÒúÍÔ°Íæ¡£½ñÌìÊÇÐÇÆÚÁù£¬ÒúÍÔ°ÓÎÈËÌ«¶à£¬ËùÒÔÎÒÃÇÈ¥Ô²Ã÷Ô°Íæ¡£

ÎÄÕÂÀ´Ô´£ºhttp://www.7zhao.net