单项选择题

化子句集的步骤不包括以下哪个选项。
A、把目标的否定化成子句式，并用重言式表示
B、消去存在量词
C、把母式化为合取范式
D、化为前束形

你可能感兴趣的试题

单项选择题

在Ⅳ级围岩中周边位移收敛量测断面间距( )？( )
A、5-10m
B、10-30m
C、30-50m
D、50-70

单项选择题

清淡型朗姆酒是最有风味的朗姆酒，该酒多产自牙买加。（）
A、正确
B、错误