ÀëÉ¢ÊýѧϰÌâ½â 1
ϰÌâÒ»
1.1£®ÂÔ 1.2£®ÂÔ 1.3£®ÂÔ 1.4£®ÂÔ 1.5£®ÂÔ 1.6£®ÂÔ 1.7£®ÂÔ 1.8£®ÂÔ 1.9£®ÂÔ
1.10£® ÂÔ 1.11£® ÂÔ 1.12£® ½«ÏÂÁÐ ÃüÌâ·ûºÅ»¯, ²¢¸ø³ö¸÷ÃüÌâµÄ ÕæÖµ:
(1)2+2£½4 µ±ÇÒ½öµ± 3+3£½6. (2)2+2£½4 µÄ³äÒªÌõ¼þÊÇ 3+3?6. (3)2+2?4 Óë 3+3£½6 »¥Îª³äÒªÌõ¼þ. (4)Èô 2+2?4, Ôò 3+3?6, ·´Ö®ÒàÈ».
(1)p?q, ÆäÖÐ, p: 2+2£½4, q: 3+3£½6, ÕæÖµÎª 1. (2)p??q, ÆäÖÐ, p: 2+2£½4, q: 3+3£½6, ÕæÖµÎª 0. (3) ?p?q, ÆäÖÐ, p: 2+2£½4, q: 3+3£½6, ÕæÖµÎª 0. (4) ?p??q, ÆäÖÐ, p: 2+2£½4, q: 3+3£½6, ÕæÖµÎª 1.
1.13£® ½«ÏÂÁÐÃüÌâ·ûºÅ»¯, ²¢¸ø³ö¸÷ÃüÌâµÄÕæÖµ: (1)Èô½ñÌìÊÇÐÇÆÚÒ», ÔòÃ÷ÌìÊÇÐÇÆÚ¶þ. (2)Ö»ÓнñÌìÊÇÐÇÆÚÒ», Ã÷Ìì²ÅÊÇÐÇÆÚ¶þ. (3)½ñÌìÊÇÐÇÆÚÒ»µ±ÇÒ½öµ±Ã÷ÌìÊÇÐÇÆÚ¶þ. (4)Èô½ñÌìÊÇÐÇÆÚÒ», ÔòÃ÷ÌìÊÇÐÇÆÚÈý.
Áî p: ½ñÌìÊÇÐÇÆÚÒ»; q: Ã÷ÌìÊÇÐÇÆÚ¶þ; r: Ã÷ÌìÊÇÐÇÆÚÈý. (1) p?q ??1. (2) q?p ??1. (3) p?q ??1.
(4) p?r µ± p ??0 Ê±ÎªÕæ; p ??1 ʱΪ¼Ù.
1.14£® ½«ÏÂÁÐ ÃüÌâ·ûºÅ»¯.
(1) ÁõÏþÔÂÅܵÿì, ÌøµÃ¸ß. (2)ÀÏÍõÊÇɽ¶«ÈË»òºÓ±±ÈË.
(3)ÒòΪÌìÆøÀä, ËùÒÔÎÒ´©ÁËÓðÈÞ·þ. (4)Íõ»¶ÓëÀîÀÖ×é³ÉÒ»¸öС×é.
(5)ÀîÐÁÓëÀîÄ©ÊÇÐÖµÜ.
(6)ÍõÇ¿ÓëÁõÍþ¶¼Ñ§¹ý·¨Óï. (7)ËûÒ»Ãæ³Ô·¹, Ò»ÃæÌýÒôÀÖ. (8)Èç¹ûÌìÏ´óÓê, Ëû¾Í³Ë°à³µÉϰà. (9)Ö»ÓÐÌìÏ´óÓê, Ëû²Å³Ë°à³µÉϰà. (10)³ý·ÇÌìÏ´óÓê, Ëû²Å³Ë°à³µÉϰà. (11)ÏÂѩ·»¬, Ëû³Ùµ½ÁË. (12)2 Óë 4 ¶¼ÊÇËØÊý, ÕâÊDz»¶ÔµÄ. (13)¡°2 »ò 4 ÊÇËØÊý, ÕâÊDz»¶ÔµÄ¡±ÊDz»¶ÔµÄ.
ÀëÉ¢ÊýѧϰÌâ½â
(1)p?q, ÆäÖÐ, p: ÁõÏþÔÂÅܵÿì, q: ÁõÏþÔÂÌøµÃ¸ß. (2)p?q, ÆäÖÐ, p: ÀÏÍõÊÇɽ¶«ÈË, q: ÀÏÍõÊǺӱ±ÈË. (3)p?q, ÆäÖÐ, p: ÌìÆøÀä, q: ÎÒ´©ÁËÓðÈÞ·þ.
(4)p, ÆäÖÐ, p: Íõ»¶ÓëÀîÀÖ×é³ÉÒ»¸öС×é, ÊǼòµ¥ÃüÌâ. (5)p, ÆäÖÐ, p: ÀîÐÁÓëÀîÄ©ÊÇÐÖµÜ.
(6)p?q, ÆäÖÐ, p: Íõǿѧ¹ý·¨Óï, q: ÁõÍþѧ¹ý·¨Óï. (7)p?q, ÆäÖÐ, p: Ëû³Ô·¹, q: ËûÌýÒôÀÖ. (8)p?q, ÆäÖÐ, p: ÌìÏ´óÓê, q: Ëû³Ë°à³µÉϰà. (9)p?q, ÆäÖÐ, p: Ëû³Ë°à³µÉϰà, q: ÌìÏ´óÓê. (10)p?q, ÆäÖÐ, p: Ëû³Ë°à³µÉϰà, q: ÌìÏ´óÓê. (11)p?q, ÆäÖÐ, p: ÏÂѩ·»¬, q: Ëû³Ùµ½ÁË.
12) ??(p?q)»ò?p??q, ÆäÖÐ, p: 2 ÊÇËØÊý, q: 4 ÊÇËØÊý. (13) ???(p?q)»ò p?q, ÆäÖÐ, p: 2 ÊÇËØÊý, q: 4 ÊÇËØÊý.
2
1.15£®
Éè p: 2+3=5. q: ´óÐÜè²úÔÚÖйú. r: ¸´µ©´óѧÔÚ¹ãÖÝ. ÇóÏÂÁи´ºÏÃüÌâµÄÕæÖµ: (1)(p?q) ?r (2)(r??(p?q)) ???p (3) ?r??(?p??q?r)
(4)(p?q??r) ??(( ?p??q) ?r) (1)ÕæÖµÎª 0. (2)ÕæÖµÎª 0. (3)ÕæÖµÎª 0. (4)ÕæÖµÎª 1.
×¢Òâ: p, q ÊÇÕæÃüÌâ, r ÊǼÙÃüÌâ.
1.16£® 1.17£® 1.18£® 1.19£®
ÂÔ ÂÔ ÂÔ
ÓÃÕæÖµ±íÅжÏÏÂÁй«Ê½µÄÀàÐÍ: (1)p??(p?q?r) (2)(p??q) ??q (3) ??(q?r) ?r (4)(p?q) ??(?q??p) (5)(p?r) ??( ?p??q) (6)((p?q) ??(q?r)) ??(p?r) (7)(p?q) ??(r?s)
ÀëÉ¢ÊýѧϰÌâ½â
(1), (4), (6)ÎªÖØÑÔʽ. (3)Ϊì¶Üʽ.
(2), (5), (7)Ϊ¿ÉÂú×ãʽ.
3
1.20£® 1.21£® 1.22£® 1.23£® 1.24£® 1.25£® 1.26£® 1.27£® 1.28£® 1.29£® 1.30£® 1.31£®
ÂÔ ÂÔ ÂÔ ÂÔ ÂÔ ÂÔ ÂÔ ÂÔ ÂÔ ÂÔ ÂÔ
½«ÏÂÁÐ ÃüÌâ·ûºÅ»¯, ²¢¸ø³ö¸÷ÃüÌâµÄ ÕæÖµ:
(1)Èô 3+£½4, ÔòµØÇòÊǾ²Ö¹²»¶¯µÄ.
(2)Èô 3+2£½4, ÔòµØÇòÊÇÔ˶¯²»Ö¹µÄ. (3)ÈôµØÇòÉÏûÓÐÊ÷ľ, ÔòÈËÀ಻ÄÜÉú´æ. (4)ÈôµØÇòÉÏûÓÐË®, Ôò 3 ÊÇÎÞÀíÊý.
(1)p?q, ÆäÖÐ, p: 2+2£½4, q: µØÇò¾²Ö¹²»¶¯, ÕæÖµÎª 0. (2)p?q, ÆäÖÐ, p: 2+2£½4, q: µØÇòÔ˶¯²»Ö¹, ÕæÖµÎª 1. (3) ?p??q, ÆäÖÐ, p: µØÇòÉÏÓÐÊ÷ľ, q: ÈËÀàÄÜÉú´æ, ÕæÖµÎª 1. (4) ?p?q, ÆäÖÐ, p: µØÇòÉÏÓÐË®, q: 3 ÊÇÎÞÀíÊý, ÕæÖµÎª 1.
ÀëÉ¢ÊýѧϰÌâ½â 4
ϰÌâ¶þ
2.1. É蹫ʽ A = p?q, B = p??q, ÓÃÕæÖµ±íÑéÖ¤¹«Ê½ A ºÍ B ÊʺϵÂĦ¸ùÂÉ:
?(A?B) ???A??B.
p 0 0 1 1 q 0 1 0 1 A =p?q B =p??q 1 1 0 1 0 0 1 0 ?(A?B) ?A??B 0 0 0 0 0 0 0 0
ÒòΪ ?(A?B)ºÍ ?A??B µÄÕæÖµ±íÏàͬ, ËùÒÔËüÃǵÈÖµ.
2.2. ÂÔ
2.3. ÓõÈÖµÑÝËã·¨ÅжÏÏÂÁй«Ê½µÄÀàÐÍ, ¶Ô²»ÊÇÖØÑÔʽµÄ¿ÉÂú×ãʽ, ÔÙÓÃÕæÖµ±í·¨Çó³ö³ÉÕæ¸³Öµ.
(1) ??(p?q?q) (2)(p??(p?q)) ??(p?r)
(3)(p?q) ??(p?r)
(1) ??(p?q?q)????(?(p?q) ??q) ????(?p ???q ??q) ??p?q??q ??p?0 ??0 ??0. ì¶Üʽ. (2)ÖØÑÔʽ.
(3) (p?q) ??(p?r) ???(p?q) ??(p?r) ???p??q ??p?r Ò×¼û, ÊÇ¿ÉÂú×ãʽ, µ«²»ÊÇÖØÑÔʽ. ³ÉÕæ¸³ÖµÎª: 000, 001, 101, 111
p q r 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 ?p ???q ? p?r 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1
2.4. ÓõÈÖµÑÝËã·¨Ö¤Ã÷ÏÂÃæµÈֵʽ: (1) p??(p?q) ??(p??q) (3) ??(p?q) ??(p?q) ???(p?q)
(4) (p??q) ??(?p?q) ??(p?q) ???(p?q) (1) (p?q) ??(p??q) ??p ??(q??q) ??p ??1 ??p. (3) ??(p?q)