在邏輯函數式中,我們將約束項和任意項統稱為無關項。因為使約束項的取值等於1的輸入變數取值是不允許出現的,所以約束項的值始終為0.而任意項則不同,在函數的運行過程中,有可能出現使任意項取值為1的輸入變數。
目錄