Python小实验——归结反演

实验目的

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

实验内容及结果

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

# 简化大数组里面的子句，如果有两条完全相同的，就删掉里面的一条子句
def delete(x=[]):
    after=0
    while len(x)!=after:
        after=len(x)
        len_x = len(x)
        for i in range(len_x):
            for j in range(i+1,len_x):
                if(x[i]==a[j]):
                    x.remove(x[j])
                    j-=1
                    len_x-=1


print("请输入子句条数：")
n = int(input())
x = []
for i in range(n):
    print(f"请输入子句{i+1}")
    a =input()
    b = a.split(" ")
    x.append(b)
len_x = len(x)
for i in range(len_x):
    for j in range(i+1,len_x):
        result(x[i],x[j])
        delete(x)
print("归结反演结果为：")
print(x)

实验结果