多項(xiàng)選擇題

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

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

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