Python小实验——归结反演

实验目的

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

实验内容及结果

# 归结反演过程，传入外面最大的数组里面的两个小数组，也就是两个子句，消掉对应的谓词公式
def result(m=[],n=[]):after=0while 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=0while 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-=1len_x-=1print("请输入子句条数：")
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)

实验结果