定义4、设L是一个文字,则称L与为互补 文字。 定义5、设C1、C2是命题逻辑中的两个子句, C1中有文字L1,C2中有文字L2,且L1与L2 互补,从C1,C2中分别删除L1,L2,再将剩 余部分析取起来,构成的新子句C12称为C1与 C2的归结式(消解式),C1,C2称为C12的亲 本子句。定义４、设L是一个文字，则称L与L为互补 文字。 定义５、设C1、C2是命题逻辑中的两个子句， C1 中有文字L1 ， C２ 中有文字L２，且L1与L２ 互补， 从C1，C２中分别删除L1 ， L２，再将剩 余部分析取起来，构成的新子句C1２称为C1与 C2的归结式（消解式）， C1，C2称为C1２的亲 本子句