因為A⊕B
?(A-B)∪(B-A) ①
所以
(A⊕B)-C
?((A-B)∪(B-A)-C) 根據①
?(A-B-C)∪(B-A-C) ②
C-(A⊕B)
?C-(A-B)∪(B-A) 根據①
?C-(A-B)-(B-A)
?C∩(?A∪B)∩(?B∪A)
?((C∩?A)∪(C∩B))∩(?B∪A)
?((C∩?A)∪(C∩B))∩?B)∪(((C∩?A)∪(C∩B))∩A)
?(C∩?A∩?B)∪(C∩B∩A)
?(C-A-B)∪(A∩B∩C) ③
所以
(A⊕B)⊕C
?((A⊕B)-C)∪(C-(A⊕B)) 根據①做代換
?(A-B-C)∪(B-A-C)∪(C-A-B)∪(A∩B∩C)
而
A⊕(B⊕C)
?(A-B⊕C)∪(B⊕C-A) 根據①做代換
?(A-B-C)∪(A∩B∩C)∪(?A∩B-C)∪(C-A-B) 分別根據③②做代換
顯然兩式等價(jià)
所以(A⊕B)⊕C=A⊕(B⊕C)結合律成立
《離散數學(xué)(第五版)》包括數理邏輯、集合論,圖論、組合分析初步、代數結構和形式語(yǔ)盲與自動(dòng)機初步等6個(gè)方面的內容.
書(shū)中概念論述清楚,內容豐富,通俗易懂,并且著(zhù)重于概念的應用,而不著(zhù)重于定理的證明,每章后均附有習題,建議學(xué)時(shí)60~80.
《離散數學(xué)(第五版)》可以作為計算機及信息管理等相關(guān)專(zhuān)業(yè)本科生的教材,也可以作為計算機技術(shù)與軟件專(zhuān)業(yè)技術(shù)資格(水平)考試的參考書(shū),同時(shí)還可以供從事計算機軟件、硬件開(kāi)發(fā)和應用的人員使用.另有配套教材《離散數學(xué)題解(第五版)》
聲明:本網(wǎng)站尊重并保護知識產(chǎn)權,根據《信息網(wǎng)絡(luò )傳播權保護條例》,如果我們轉載的作品侵犯了您的權利,請在一個(gè)月內通知我們,我們會(huì )及時(shí)刪除。
蜀ICP備2020033479號-4 Copyright ? 2016 學(xué)習?shū)B(niǎo). 頁(yè)面生成時(shí)間:2.560秒