论文部分内容阅读
本文把简单表达式(项和原子)视为语言L的Herbrand域或Herband基中的集合。作者提出覆盖表达式的概念,得到2个表达式之间覆盖关系的判别准则。对多个表达式,作者提出表达式的分解概念及相应的分解算法,在此基础上,本文给出1个表达式覆盖多个表达式的等价条件。根据集合的划分公式,得到划分表达式的方法。最后定义1个变换把合取式转换为简单表达式,从而方便地把简单表达式的结果推广到合取式。本文是作者提