多项选择题
A.0，1 B.肯定属于 C.肯定不属于 D.可能属于
A.消去“蕴含”连结词 B.减少“非”连结词的辖域 C.对变量标准化 D.消去存在量词
A.知识库 B.工作存储器 C.加密，解密设备 D.推理机