Python小实验——归结反演

实验目的

打印所有互补文字;
头现命题逻辑简单归结;

实验内容及结果

# 归结反演过程，传入外面最大的数组里面的两个小数组，也就是两个子句，消掉对应的谓词公式
def result(m=[],n=[]):
    after=0
    while len(m)!=after:
        after=len(m)
        for i in m:
            for j in n:
                if (