邏輯 蘊含(logic implication),其找尋一布林電路中一給定值集合之必要值(necessary assignments),在電腦輔助設計自動化領域中有廣泛的應用,如:邏輯最佳化、電路驗證 ...
確定! 回上一頁