多項選擇題

求取子句集的步驟包括以下步驟：消去“蘊含”連結(jié)詞、減少“非”連結(jié)詞的轄域、對變量標準化、消去存在量詞、化成前束范式、（）。

A.將母式化成合取范式
B.消去全稱量詞
C.消去合取連結(jié)詞
D.更改變量名

微信掃碼免費搜題