多項(xiàng)選擇題

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

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

微信掃碼免費(fèi)搜題