第10é¢åé¢ç大é¢çæ¡ï¼
11é¢
P(x)ï¼xæ¯å¦ç
Q(x)ï¼xç主è¦ä»»å¡æ¯å¦ä¹
∀x(P(x)âQ(x))
12é¢
å¦æä¸å2ç¹å°äºï¼æ们å»ç¤¼å ççµå½±æè
å»æ室ç书
è¿æ ·ç解çè¯ï¼
Rï¼ç°å¨æ¯ä¸å2ç¹
Pï¼æ们å»ç¤¼å ççµå½±
Qï¼æ们å»æ室ç书
Râ(Pâ¨Q)
13é¢
é误ï¼å¯ä»¥ä¸¾åä¾ï¼ A: {0} B: {0,{0}} åæ¶æ»¡è¶³æ¡ä»¶ã
å½ç¶ä¹å¯ä»¥è¿æ ·ä¸¾åä¾ï¼ B=Aâª{A} å°±è½åæ¶æ»¡è¶³
14é¢
æ£ç¡®ï¼å
¶å®å¯ä»¥ç»ä¸å¼ åæå¾ï¼ä¸è§å½¢ä¸ä¸ªé¡¶ç¹ä¸ä¸å¿ï¼è¿çº¿å³å¯ï¼
15é¢
ï¼1ï¼R={<a,a>,<b,b>,<c,c>,<d,d>,<a,b>,<a,c>,<b,d>,<c,d>}
ï¼2ï¼è·åæ¯å¾å·®ä¸å¤ï¼èç¹å¤ç»éç¯ï¼å¸¦ç®å¤´ï¼ï¼å¾ä¸çº¿æ®µä¸ç«¯ç¹æ·»å ç®å¤´å³å¯ã
ï¼3ï¼Bçæ大å
ä¸åå¨ï¼æå°å
为aï¼ä¸ç为d
16é¢
ç¥
17é¢
Pâ(Qâ§R)
⇔¬Pâ¨(Qâ§R) åæ ååæå
⇔(¬Pâ¨Q)â§(¬Pâ¨R) åé
å¾
⇔(¬Pâ¨Qâ¨(¬Râ§R))â§(¬Pâ¨(¬Qâ§Q)â¨R) 补项
⇔((¬Pâ¨Q⨬R)â§(¬Pâ¨Qâ¨R))â§(¬Pâ¨(¬Qâ§Q)â¨R) åé
å¾2
⇔(¬Pâ¨Q⨬R)â§(¬Pâ¨Qâ¨R)â§(¬Pâ¨(¬Qâ§Q)â¨R) ç»åå¾
⇔(¬Pâ¨Q⨬R)â§(¬Pâ¨Qâ¨R)â§((¬P⨬Qâ¨R)â§(¬Pâ¨Qâ¨R)) åé
å¾2
⇔(¬Pâ¨Q⨬R)â§(¬Pâ¨Qâ¨R)â§(¬P⨬Qâ¨R)â§(¬Pâ¨Qâ¨R) ç»åå¾
⇔(¬Pâ¨Q⨬R)â§(¬P⨬Qâ¨R)â§(¬Pâ¨Qâ¨R) çå¹å¾
å¾å°ä¸»ååèå¼ï¼åæ£æ¥éæ¼çæ大项
⇔M₄â§M₅â§M₆⇔â(4,5,6)
⇔¬â(0,1,2,3,7)⇔â(0,1,2,3,7)⇔m₀â¨m₁â¨m₂â¨m₃â¨m₇
⇔¬(Pâ¨Qâ¨R)⨬(Pâ¨Q⨬R)⨬(P⨬Qâ¨R)⨬(P⨬Q⨬R)⨬(¬P⨬Q⨬R) å¾·æ©æ ¹å®å¾
⇔(¬P⧬Q⧬R)â¨(¬P⧬Qâ§R)â¨(¬Pâ§Q⧬R)â¨(¬Pâ§Qâ§R)â¨(Pâ§Qâ§R) å¾·æ©æ ¹å®å¾
å¾å°ä¸»æåèå¼
18é¢
Aâ©(B-C)
=Aâ©(B⩬C)
=Aâ©B⩬C
=Aâ©Bâ©(¬A⪬C) å¸æ¶ç
=(Aâ©B)â©(¬A⪬C) ç»åç
=(Aâ©B)⩬(Aâ©C) å¾·æ©æ ¹å®å¾
=(Aâ©B)-(Aâ©C)
温馨提示:答案为网友推荐,仅供参考