Python

Question

我有一个列表：

KB = [['~p', '~r', 's'], ['~r', 'k'], ['~k', 'm'], ['r'], ['~m'], ['~p', 'r']]

我需要输出到 CNF 格式的文件 ('output.txt')，如下所示：

~p|~r|s
~r|k
~k|m
r
~m
~p|r

那我现在该怎么办？

Answer 1

BearBrown 的评论涵盖了问题的最重要部分。我正在适应它显示如何根据需要在加入管道 ('|') 后写入文件。

KB = [['~p', '~r', 's'], ['~r', 'k'], ['~k', 'm'], ['r'], ['~m'], ['~p', 'r']]

p = ["|".join(x) for x in KB]

with open('output.txt') as o:
    for item in p:
        o.write('%s\n' % item)

Python - 将列表数据类型输出到 CNF

Python - Output a list datatype to CNF

list

cnf