多項選擇題

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

A.消去“蘊含”連結(jié)詞
B.減少“非”連結(jié)詞的轄域
C.對變量標(biāo)準(zhǔn)化
D.消去存在量詞

微信掃碼免費搜題