因為A->B邏輯等價於-(A)orB,所以再把它轉換成-(A)orB ... 因為dual應該是要拿原式去做,與logical implication邏輯等價那個式子只是邏輯等價而已, ...
確定! 回上一頁