約束項

約束項

約束項,一般定義為把不允許出現的對應組合對應的最小項。

基本內容

邏輯變數之間的約束關係稱為約束。把不允許出現的對應組合對應的最小項稱為約束項。

約束項約束項

相關詞條

相關搜尋

熱門詞條

聯絡我們