多項選擇題

求取子句集的步驟包括以下步驟,（）、化成前束范式、將母式化成合取范式、消去全稱量詞、消去合取連結詞、更改變量名。

A.消去“蘊含”連結詞
B.減少“非”連結詞的轄域
C.對變量標準化
D.消去存在量詞

微信掃碼免費搜題