根據邏輯代數方程理論,提出了格藴涵代數方程的概念。
為了重構基因調控網絡,提出可以通過基因之間的布爾邏輯代數和邏輯電路網絡得到基因調控的動態轉換。
本文給出極小子集問題的邏輯代數解法,即通過求邏輯函數的極小析取範式或極小合取範式來獲得極小子集。
在對命題邏輯代數化表示的基礎上,通過解多項式方程組,對命題公式進行等價轉換、演繹推理。
首先以藴涵算子為基礎從有限擾動模糊命題邏輯出發,討論其邏輯代數及廣義重言式的*質。
本文首先從有限區間值模糊命題邏輯出發,討論其邏輯代數及廣義重言式的*質;