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

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)