或一符合代數(shù)系統(tǒng)中的表格方法及其應(yīng)用.pdf

1、近代數(shù)字理論的研究與發(fā)展歷來與研究的工具與方法息息相關(guān)，從傳統(tǒng)的與或非代數(shù)系統(tǒng)中的真值表方法、卡諾圖到與一異或代數(shù)系統(tǒng)中的b<,j>圖，以及由程捷等提出的d<,j>圖，它們的提出都極大地推動(dòng)了近代數(shù)字理論研究方法論上的重大進(jìn)步。而表格方法作為研究近代數(shù)字理論的方法，其應(yīng)用范圍也相當(dāng)廣泛。 本文重點(diǎn)論述了在或一符合代數(shù)系統(tǒng)中的表格方法及其應(yīng)用。 結(jié)合或-符合代數(shù)系統(tǒng)的性質(zhì)特點(diǎn)，提出了和項(xiàng)表的概念，論述了和項(xiàng)表的特點(diǎn)和性質(zhì)，

2、同時(shí)描述了如何實(shí)現(xiàn)和項(xiàng)表與傳統(tǒng)邏輯表格表示——真值表之間轉(zhuǎn)換的方法與流程，提出了降維和項(xiàng)表與互斥變量和項(xiàng)表的概念和如何對(duì)于和項(xiàng)表實(shí)現(xiàn)降維操作的方法。此外，本文在回顧GFOC的基礎(chǔ)上，提出了在固定極性下，利用表格方法實(shí)現(xiàn)各種極性下函數(shù)和項(xiàng)表的轉(zhuǎn)換，從轉(zhuǎn)換結(jié)果中按照和項(xiàng)及變量數(shù)最少的標(biāo)準(zhǔn)實(shí)現(xiàn)GFOC的化簡。參考利用d<,j>圖化簡互斥變量邏輯函數(shù)的方法，提出了利用表格法化簡互斥變量邏輯函數(shù)的方法，實(shí)現(xiàn)了對(duì)于互斥變量邏輯函數(shù)的化簡。最后結(jié)合筆