ÀëÉ¢Êýѧ×îÈ«¿Îºó´ð°¸£¨ÇüÍñÁá°æ£© ÏÂÔØ±¾ÎÄ

ÀëÉ¢ÊýѧϰÌâ½â 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)