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