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