多项选择题

A.消去“蕴含”连结词
B.减少“非”连结词的辖域
C.对变量标准化
D.消去存在量词