在删除策略归结的过程中删除以下子句：含有（）的子句；含有永真

【名词&注释】

纯文字(pure literals)

[填空题]在删除策略归结的过程中删除以下子句：含有（）的子句；含有永真式的子句；子句集中被别的子句类含的子句。

查看答案&解析 查看所有试题

学习资料：

[单选题]消解是一种可用于一定的（）的重要推理规则。

A. 子句
B. 双条件
C. 合取公式
D. 蕴含公式

本文链接：https://www.51bdks.net/show/dexkz9.html