研究了由多值邏輯函數組構成的置換。
降維圖可作為化簡多變量邏輯函數、設計邏輯電路的一種方法。
本文在邏輯函數簡化規則及其*質的基礎上，提出了化簡邏輯函數的一個新的方法——拓撲法。
探討了卡諾圖化簡異或邏輯函數的原理，提出了化簡異或邏輯函數的新方法。
我們己經學過三種基本的邏輯函數是“與”，“或”及“非”。
閾值邏輯門具有很強的邏輯功能及獨特的優點，用閾值邏輯門實現數字邏輯函數也一直受到關注。
將巖石邊坡上楔形塊體的幾何條件歸納成邏輯函數式。
對多值邏輯函數組的正形置換進行了研究，即第二章第三節。
邏輯函數常用的化簡方法有兩種，即公式法和圖形法。
針對代數法和卡諾圖法難以化簡規模很大的邏輯函數問題，提出使用蟻羣算法處理大規模邏輯函數化簡。
討論了布爾減和布爾除的定義以及邏輯函數在布爾減及非運算、布爾除及非運算完備集中的展開，給出了減-非和除-非邏輯函數的化簡公式。
卡諾圖法尤其有利於含有無關項邏輯函數的變換，並能提高數字電路的教學效果和設計效率。
本文給出極小子集問題的邏輯代數解法，即通過求邏輯函數的極小析取範式或極小合取範式來獲得極小子集。
在窮舉搜索真值表中最小項組基礎上，通過檢查和合並而實現邏輯函數的自動化簡。
給出了用卡諾圖法化簡邏輯函數的基本原則，並用事例詮釋了基本原則。
基於真值表和卡諾圖的等價*，本文提出一種基於真值表搜索的邏輯函數自動化簡方法。
給出了新的一般有限域上多值邏輯函數的線*譜定義，並對兩類譜的轉換公式做了進一步簡化。
提出了基於粗糙集理論對邏輯函數進行知識表達的方法，給出了運用粗糙集進行組合邏輯化簡的優化算法。
一百在邏輯驗*和綜合中【】，布爾匹配利用有序二叉判定圖OBDD來檢驗兩個給定的邏輯函數是否相等。
本文綜合運用概率論、代數學、邏輯函數頻譜理論等方面的知識，對多輸出函數的有關*質與構造進行了研究。
本文基於多值邏輯函數極小化提出一種正例學習問題，並對這一正例學習問題給出一個啟發式學習算法。
