- 1、本文档共63页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
..... * 对称差的性质(证明2、续5) = (((A?~B)?(~A?B))?~C)? ((~(A?~B)?~(~A?B))?C) = (((A?~B)?(~A?B))?~C)? ((~A?B)?(A?~B))?C) (德?摩根律) = (A?~B?~C)?(~A?B?~C)? (~A?~B?C)?(A?B?C) (分配律…) ? A?(B?C)=(A?B)?C. # ..... * 对称差的性质(讨论) 有些作者用△表示对称差: A?B=A△B 消去律: A?B=A?C ? B=C (习题一,23) A=B?C ? B=A?C? C=A?B 对称差与补: ~(A?B) = ~A?B = A?~B A?B = ~A?~B 问题: A?B?C=~A?~B?~C ? ..... * 对称差的性质(讨论、续) 如何把对称差推广到n个集合: A1?A2?A3?…?An = ? ?x, x?A1?A2?A3?…?An ? x恰好属于A1,A2,A3,…,An中的奇数个 特征函数表达: ?A1?A2?…?An(x) = ?A1(x)+?A2(x)+…+?An(x) (mod 2) = ?A1(x)??A2(x)?…??An(x) ((mod 2),?,都表示模2加法,即相加除以2取余数) ..... * 特征函数与集合运算: ?A?B(x) = ?A(x)??B(x) ?~A(x) = 1-?A(x) ?A-B(x) = ?A?~B(x)=?A(x)?(1-?B(x)) ?A?B(x) = ?(A-B)?B(x) = ?A(x)+?B(x)-?A(x)??B(x) ?A?B(x) = ?A(x)+?B(x) (mod 2) = ?A(x)??B(x) A B ..... * 对称差的性质(讨论、续) 问题: A?B?C = ~A?~B?~C ? 答案: A?B?C = ~(~A?~B?~C) = ~(A?B?~C) = A?~B?~C A?B?C?D = ~A?~B?~C?~D = A?~B?C?~D = ~(~A?~B?C?~D) =… A = ~(~A) ..... * 对称差的性质(证明3) 分配律: A?(B?C)=(A?B)?(A?C) 证明 A?(B?C) = A?((B?~C)?(~B?C)) = (A?B?~C)? (A?~B?C) A B C A?(B?C) ..... * 对称差分配律(证明3、续) (续) (A?B)?(A?C) = ((A?B)?~(A?C))?(~(A?B)?(A?C)) =((A?B)?(~A?~C))?((~A?~B)?(A?C)) =(A?B?~C)?(A?~B?C) ? A?(B?C)=(A?B)?(A?C). # ..... * 对称差分配律(讨论) A?(B?C)=(A?B)?(A?C) ? A?(B?C)=(A?B)?(A?C) ? A?(B?C)=(A?B)?(A?C) ? A?(B?C)=(A?B)?(A?C) ? ..... * 集族的性质 设A,B为集族, 则 1. A?B ? ∪A ?∪B 2. A?B ? A ?∪B 3. A?? ? A?B ? ∩B ? ∩A 4. A?B ? ∩B ? A 5. A?? ? ∩A ? ∪A ..... * 集族的性质(证明1) A?B ? ∪A ?∪B 证明: ?x, x?∪A ? ?A(A?A ? x?A) (∪A定义) ? ?A(A?B ? x?A) (A?B) ? x?∪B (∪B定义) ? ∪A ?∪B. # ..... * 集族的性质(证明2) A?B ? A ?∪B 证明: ?x, x?A ? A?B ? x?A (A?B, 合取) ? ?A(A?B ? x?A) (EG) ? x?∪B
文档评论(0)